diff options
| author | Pavel Labath <pavelo@centrum.sk> | 2011-07-31 13:06:41 (GMT) |
|---|---|---|
| committer | Paul Tagliamonte <paultag@fluxbox.org> | 2012-04-07 02:12:17 (GMT) |
| commit | 93c9e972c2b649619fea0650958c37ae2772fe29 (patch) | |
| tree | f9087a6d855cd97502b3f8a043ed7ef749b90f00 /src/WindowCmd.hh | |
| parent | f614d641a4abb2b1926c7327a3242cd95e1fcfdc (diff) | |
| download | fluxbox_paul-93c9e972c2b649619fea0650958c37ae2772fe29.zip fluxbox_paul-93c9e972c2b649619fea0650958c37ae2772fe29.tar.bz2 | |
Reintruduce support for setting menu title
this was already present in the old menu files, but I did not notice, because generally the title
is same as the label in the parent menu. Now menu title is set by the 'title' property, which
falls back to 'label' if it's empty.
Diffstat (limited to 'src/WindowCmd.hh')
0 files changed, 0 insertions, 0 deletions