Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Plasma
Plasma Workspace
Merge requests
!304
Merged
Created
Sep 29, 2020
by
Niccolò Venerandi
@niccolove
Developer
Options
Read margins in the containment from the root panel file
Overview
8
Commits
8
Changes
2
Needed for
plasma-desktop!165 (merged)
