Skip to content

GitLab

  • Menu
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 9
    • Issues 9
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 47
    • Merge requests 47
  • 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
  • Plasma
  • Plasma DesktopPlasma Desktop
  • Merge requests
  • !165

Merged
Created Sep 25, 2020 by Niccolò Venerandi@niccoloveDeveloper

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

  • Overview 2
  • Commits 5
  • 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.

Needs plasma-workspace!304 (merged) To be used with frameworks/plasma-framework!60 (merged) !94 (closed)

Edited Oct 09, 2020 by Niccolò Venerandi
Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: taskManagerIgnoreMargin