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

- Fixed aspect of window list menu (window name was too close to workspace

indicator)
- Fixed menu panel in WPrefs.app. Explanatory text did not fit into the label
This commit is contained in:
dan
2003-07-01 23:00:25 +00:00
parent 396b011610
commit b0d72a3db2
4 changed files with 11 additions and 10 deletions

View File

@@ -571,7 +571,7 @@ wMenuRealize(WMenu *menu)
text = menu->entries[i]->rtext;
if (text)
rwidth = WMWidthOfString(scr->menu_entry_font, text, strlen(text))
+ 5;
+ 10;
else if (menu->entries[i]->cascade>=0)
rwidth = 16;
else