mirror of
https://github.com/gryf/wmaker.git
synced 2026-10-06 09:20:34 +02:00
add an option to virtual desktop
This commit is contained in:
1 parent
4341224f6e
commit
829e9d30fe
1 file changed
+3
@@ -441,6 +441,9 @@ WDefaultEntry optionList[] = {
|
||||
{"VirtualEdgeThickness", "1", NULL,
|
||||
&wPreferences.vedge_thickness, getInt, NULL
|
||||
},
|
||||
{"VirtualEdgeExtendSpace", "0", NULL,
|
||||
&wPreferences.vedge_border, getInt, NULL
|
||||
},
|
||||
{"VirtualEdgeHorizonScrollSpeed", "1", NULL,
|
||||
&wPreferences.vedge_hscrollspeed, getInt, NULL
|
||||
},
|
||||
|
||||
Reference in new issue
Block a user