mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-18 20:10:29 +01:00
Update the dock position when "KeepDockOnPrimaryHead" is changed
This commit is contained in:
committed by
Carlos R. Mafra
parent
8ed92efa3c
commit
515eb652c7
@@ -154,6 +154,7 @@ static WDECallbackUpdate setModifierKeyLabels;
|
|||||||
|
|
||||||
static WDECallbackConvert getCursor;
|
static WDECallbackConvert getCursor;
|
||||||
static WDECallbackUpdate setCursor;
|
static WDECallbackUpdate setCursor;
|
||||||
|
static WDECallbackUpdate updateDock ;
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* Tables to convert strings to enumeration values.
|
* Tables to convert strings to enumeration values.
|
||||||
@@ -522,7 +523,8 @@ WDefaultEntry optionList[] = {
|
|||||||
{"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,
|
{"KeepDockOnPrimaryHead", "NO", NULL,
|
||||||
&wPreferences.keep_dock_on_primary_head, getBool, NULL, NULL, NULL},
|
&wPreferences.keep_dock_on_primary_head, getBool, updateDock,
|
||||||
|
NULL, NULL},
|
||||||
|
|
||||||
/* style options */
|
/* style options */
|
||||||
|
|
||||||
@@ -3485,3 +3487,15 @@ static int setCursor(WScreen * scr, WDefaultEntry * entry, void *tdata, void *ex
|
|||||||
|
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
static int updateDock(WScreen * scr, WDefaultEntry * entry,
|
||||||
|
void *tdata, void *extra_data) {
|
||||||
|
(void) entry;
|
||||||
|
(void) tdata;
|
||||||
|
(void) extra_data;
|
||||||
|
|
||||||
|
if (scr->dock)
|
||||||
|
wDockSwap(scr->dock);
|
||||||
|
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user