Skip to content
GitLab
Projects Groups 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
    • Contributors
    • Graph
    • Compare
  • Issues 38
    • Issues 38
    • List
    • Boards
    • Service Desk
    • Milestones
  • Bugzilla
    • Bugzilla
  • Merge requests 51
    • Merge requests 51
  • 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
  • !128

Make task manager apply slim margins if defined by default and extend to borders

  • Review changes

  • Download
  • Email patches
  • Plain diff
Closed Niccolò Venerandi requested to merge niccolove/plasma-desktop:work/taskManagerMargins into master Aug 23, 2020
  • Overview 0
  • Commits 1
  • Pipelines 0
  • Changes 2

This patch uses the new appletinterface property to extend to borders. To have consistently sized icons in a panel, the task manager now also uses the slimMargin panel property (when defined) to define the margin of the icons contained. This way they will be consistent with other applets using that margin.

See also:

!92 (merged)

frameworks/plasma-framework!60 (merged)

frameworks/plasma-framework!77 (closed)

Edited Aug 23, 2020 by Niccolò Venerandi
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: work/taskManagerMargins