diff options
| author | Mark Tiefenbruck <mark@fluxbox.org> | 2008-05-13 01:13:56 (GMT) |
|---|---|---|
| committer | Mark Tiefenbruck <mark@fluxbox.org> | 2008-05-13 01:13:56 (GMT) |
| commit | 68cf3092208830e075c4fe5eddfdcbef3f11596a (patch) | |
| tree | d0a8ed49f827286c2494968b0a336934912bff9e /src/WorkspaceNameTheme.hh | |
| parent | dcdc78332431ff2b258c54a99d6fac382c6a0595 (diff) | |
| download | fluxbox-68cf3092208830e075c4fe5eddfdcbef3f11596a.zip fluxbox-68cf3092208830e075c4fe5eddfdcbef3f11596a.tar.bz2 | |
implement smarter reloading for custom menus
Diffstat (limited to 'src/WorkspaceNameTheme.hh')
0 files changed, 0 insertions, 0 deletions