all repos — fluxbox @ c30b75091aa3b783f91f5d81b1a3014072f5af8e

custom fork of the fluxbox windowmanager

Fix glitch of TabOptions menu
Mathias Gumz akira@fluxbox.org
commit

c30b75091aa3b783f91f5d81b1a3014072f5af8e

parent

9814549fb35f4f518ef6f4c75d4f092ac9ec3b7f

1 files changed, 1 insertions(+), 0 deletions(-)

jump to
M src/ConfigMenu.ccsrc/ConfigMenu.cc

@@ -297,6 +297,7 @@ p_menu->insertItem(new TabPlacementMenuItem(p.label,

sh.screen, p.placement, save_reconftabs)); } p_menu->updateMenu(); + menu->updateMenu(); parent.insertSubmenu(label, menu); }