mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-21 21:38:00 +01:00
drawstring plugin and a small change in vdesk
This commit is contained in:
@@ -652,11 +652,11 @@ void wWorkspaceManageEdge(WScreen *scr)
|
||||
int vmask;
|
||||
XSetWindowAttributes attribs;
|
||||
|
||||
puts("wWorkspaceManageEdge()");
|
||||
/* puts("wWorkspaceManageEdge()"); */
|
||||
if (wPreferences.vedge_thickness) {
|
||||
initVDesk = True;
|
||||
for (w = 0; w < scr->workspace_count; w++) {
|
||||
puts("reset workspace");
|
||||
/* puts("reset workspace"); */
|
||||
wWorkspaceSetViewPort(scr, w, 0, 0);
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user