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

- Fix that enables that the virtual desktop code be disabled on the fly

when VirtualEdgeThickness is set to 0
- Fixed virtual edge to resize the edge on the fly if thickness changes
This commit is contained in:
dan
2004-10-24 20:24:23 +00:00
parent 363b6032f5
commit 897e75d554
7 changed files with 66 additions and 95 deletions

View File

@@ -42,14 +42,11 @@ void wWorkspaceForceChange(WScreen *scr, int workspace);
#ifdef VIRTUAL_DESKTOP
void wWorkspaceManageEdge(WScreen *scr);
void wWorkspaceUpdateEdge(WScreen *scr);
void wWorkspaceDestroyEdge(WScreen *scr);
void wWorkspaceRaiseEdge(WScreen *scr);
void wWorkspaceLowerEdge(WScreen *scr);
void wWorkspaceResizeViewPort(WScreen *scr, int workspace);
void wWorkspaceResizeViewport(WScreen *scr, int workspace);
Bool wWorkspaceSetViewport(WScreen *scr, int workspace, int view_x, int view_y);
void wWorkspaceKeyboardMoveDesktop(WScreen *scr, WMPoint direction);
Bool wWorkspaceSetViewPort(WScreen *scr, int workspace, int view_x, int view_y);
Bool wWorkspaceAdjustViewPort(WScreen *scr, int workspace, int view_x, int view_y);
void wWorkspaceGetViewPosition(WScreen *scr, int workspace, int *view_x, int *view_y);
#define VEC_LEFT wmkpoint(-1,0)
#define VEC_RIGHT wmkpoint(1,0)