mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-18 12:00:31 +01:00
Add new "KeepDockOnPrimaryHead" option
Once implemented, this will keep the dock on the primary head (when there are multiple heads) when YES. The default value is NO, the current behavior, i.e., treat all monitors together as one large screen.
This commit is contained in:
committed by
Carlos R. Mafra
parent
c089c6aea4
commit
326a67e18f
@@ -405,6 +405,7 @@ extern struct WPreferences {
|
|||||||
char ignore_gtk_decoration_hints;
|
char ignore_gtk_decoration_hints;
|
||||||
|
|
||||||
char dont_blink; /* do not blink icon selection */
|
char dont_blink; /* do not blink icon selection */
|
||||||
|
char keep_dock_on_primary_head; /* keep dock on primary head */
|
||||||
|
|
||||||
/* Appearance options */
|
/* Appearance options */
|
||||||
char new_style; /* Use newstyle buttons */
|
char new_style; /* Use newstyle buttons */
|
||||||
|
|||||||
@@ -521,6 +521,8 @@ WDefaultEntry optionList[] = {
|
|||||||
&wPreferences.minipreview_size, getInt, NULL, NULL, NULL},
|
&wPreferences.minipreview_size, getInt, NULL, NULL, NULL},
|
||||||
{"IgnoreGtkHints", "NO", NULL,
|
{"IgnoreGtkHints", "NO", NULL,
|
||||||
&wPreferences.ignore_gtk_decoration_hints, getBool, NULL, NULL, NULL},
|
&wPreferences.ignore_gtk_decoration_hints, getBool, NULL, NULL, NULL},
|
||||||
|
{"KeepDockOnPrimaryHead", "NO", NULL,
|
||||||
|
&wPreferences.keep_dock_on_primary_head, getBool, NULL, NULL, NULL},
|
||||||
|
|
||||||
/* style options */
|
/* style options */
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user