Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • Plasma Desktop Plasma Desktop
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 37
    • Issues 37
    • List
    • Boards
    • Service Desk
    • Milestones
  • Bugzilla
    • Bugzilla
  • Merge requests 53
    • Merge requests 53
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • PlasmaPlasma
  • Plasma DesktopPlasma Desktop
  • Merge requests
  • !92

Move applying margins to the panel containment and allow plasmoids to ignore margins

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Niccolò Venerandi requested to merge niccolove/plasma-desktop:taskManagerIgnoreMargin into master Aug 04, 2020
  • Overview 12
  • Commits 4
  • Pipelines 0
  • Changes 2

This moves applying the margins to applets from the panel view to the panel containment; on a horizontal panel, the left and right margins are still applied in the view because they are applied only one time to the borders, while the top and bottom borders are applied in the containment applet-wise, unless the applet specified that they don't want to have margins.

Edited Aug 24, 2020 by Niccolò Venerandi
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: taskManagerIgnoreMargin