gryf/wmaker
1
0
Fork 0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-22 14:08:06 +01:00
Code Issues Projects Releases Wiki Activity

update for WINGs font interface change

Browse Source
This commit is contained in:
kojima
1999-05-31 00:47:10 +00:00
parent 7c9574b1ea
commit 029695bcda
2 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/workspace.c
View File

@@ -612,8 +612,7 @@ wWorkspaceForceChange(WScreen *scr, int workspace)
}
}
if (!scr->flags.startup2)
showWorkspaceName(scr, workspace);
showWorkspaceName(scr, workspace);
#ifdef GNOME_STUFF
wGNOMEUpdateCurrentWorkspaceHint(scr);