1
0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-19 20:38:08 +01:00

Virtual desktop code (very experiment!!!!!)

This commit is contained in:
id
1999-12-18 11:52:49 +00:00
parent 087fc7c82c
commit 8eb0c79c54
9 changed files with 192 additions and 0 deletions

View File

@@ -410,6 +410,23 @@ WDefaultEntry optionList[] = {
{"WorkspaceNameDisplayPosition", "center", seDisplayPositions,
&wPreferences.workspace_name_display_position, getEnum, NULL
},
#ifdef VIRTUAL_DESKTOP
{"VirtualEdgeThickness", "1", NULL,
&wPreferences.vedge_thickness, getInt, NULL
},
{"VirtualEdgeHorizonScrollSpeed", "1", NULL,
&wPreferences.vedge_hscrollspeed, getInt, NULL
},
{"VirtualEdgeVerticalScrollSpeed", "1", NULL,
&wPreferences.vedge_vscrollspeed, getInt, NULL
},
{"VirtualEdgeWidth", "2000", NULL,
&wPreferences.vedge_width, getInt, NULL
},
{"VirtualEdgeHeight", "2000", NULL,
&wPreferences.vedge_height, getInt, NULL
},
#endif
{"StickyIcons", "NO", NULL,
&wPreferences.sticky_icons, getBool, setStickyIcons
},