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

auto shrink & expand vdesk

This commit is contained in:
id
2000-11-21 19:30:16 +00:00
parent 8055698df0
commit 6aafaaa63c
2 changed files with 109 additions and 89 deletions

View File

@@ -43,8 +43,8 @@ void wWorkspaceForceChange(WScreen *scr, int workspace);
void wWorkspaceManageEdge(WScreen *scr);
void wWorkspaceRaiseEdge(WScreen *scr);
void wWorkspaceResizeViewPort(WScreen *scr, int workspace, int width, int height);
void wWorkspaceSetViewPort(WScreen *scr, int workspace, int view_x, int view_y);
void wWorkspaceAdjustViewPort(WScreen *scr, int workspace, int view_x, int view_y);
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);
#endif