diff options
| author | markt <markt> | 2007-05-17 20:51:43 (GMT) |
|---|---|---|
| committer | markt <markt> | 2007-05-17 20:51:43 (GMT) |
| commit | 0f23536effc48781644c2548d9bb4f14aa149ce6 (patch) | |
| tree | 9eff8f7941b431663663d8419a8edb2d5570e0af /src/WorkspaceNameTheme.hh | |
| parent | cd73887b11cdb34dc107e658a490f4e1246f4d93 (diff) | |
| download | fluxbox_pavel-0f23536effc48781644c2548d9bb4f14aa149ce6.zip fluxbox_pavel-0f23536effc48781644c2548d9bb4f14aa149ce6.tar.bz2 | |
make sure included menus get remembered, in case they're modified
Diffstat (limited to 'src/WorkspaceNameTheme.hh')
0 files changed, 0 insertions, 0 deletions