diff options
author | Pavel Labath <pavelo@centrum.sk> | 2011-07-03 12:49:20 (GMT) |
---|---|---|
committer | Paul Tagliamonte <paultag@fluxbox.org> | 2012-04-07 02:11:30 (GMT) |
commit | dc58cbc1616c204b696df9b8bb6aa9602915a92e (patch) | |
tree | 4db04a6ac64642ec5e751a4dbdfd9c158b745171 | |
parent | d042b4f8c281c5bd8cfca1239b3d397cfb4b0548 (diff) | |
download | fluxbox_paul-dc58cbc1616c204b696df9b8bb6aa9602915a92e.zip fluxbox_paul-dc58cbc1616c204b696df9b8bb6aa9602915a92e.tar.bz2 |
Report unrecognized menu entries
I put the error message into the menu, because noone reads stderr anyway.
-rw-r--r-- | src/MenuCreator.cc | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/MenuCreator.cc b/src/MenuCreator.cc index 467f643..ea45487 100644 --- a/src/MenuCreator.cc +++ b/src/MenuCreator.cc | |||
@@ -268,9 +268,12 @@ insertMenuItem(lua::state &l, FbTk::Menu &menu, FbTk::StringConvertor &parent_co | |||
268 | reloader, program) ); | 268 | reloader, program) ); |
269 | } else if (str_key == "workspaces") { | 269 | } else if (str_key == "workspaces") { |
270 | menu.insert(str_label, RefMenu(screen->workspaceMenu()) ); | 270 | menu.insert(str_label, RefMenu(screen->workspaceMenu()) ); |
271 | } else { | 271 | // finally, try window-related commands |
272 | // finally, try window-related commands | 272 | } else if(! MenuCreator::createWindowMenuItem(str_key, str_label, menu)) { |
273 | MenuCreator::createWindowMenuItem(str_key, str_label, menu); | 273 | // everything failed, we give up |
274 | int size = menu.insert(_FB_XTEXT(Menu, UnknownType, "Unknown menu type: ", | ||
275 | "The text will be followed by the actual type") + str_key); | ||
276 | menu.setItemEnabled(size-1, false); | ||
274 | } | 277 | } |
275 | } | 278 | } |
276 | 279 | ||