Merge lp:~damiannohales/plank/window-border-margin into lp:plank
Proposed by
Damián Nohales
Status: | Needs review |
---|---|
Proposed branch: | lp:~damiannohales/plank/window-border-margin |
Merge into: | lp:plank |
Diff against target: |
112 lines (+25/-4) 4 files modified
lib/DockRenderer.vala (+1/-0) lib/Drawing/DockTheme.vala (+9/-0) lib/PositionManager.vala (+9/-4) lib/Widgets/DockWindow.vala (+6/-0) |
To merge this branch: | bzr merge lp:~damiannohales/plank/window-border-margin |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Rico Tzschichholz | Needs Fixing | ||
Review via email: mp+223290@code.launchpad.net |
Description of the change
This adds the WindowBorderMargin setting to the dock, that allows to the user to add an extra spacing between the window border and the dock.
To post a comment you must log in.
Unmerged revisions
- 1036. By Damián Nohales
-
Add TopMargin theme option
This option allows to add an extra margin between
the window border and the top of the dock.
This sounds reasonable if a theme defines a negative TopPadding. Considering that this should be a parameter in *dock.theme* not in settings. ;-)
So please move it to DockTheme as TopMargin. You should be able to contain the needed changes to DockTheme.vala, DockPreferences .vala and PositionManager .vala.