all repos — fluxbox @ 518af23488b63ef8b3b57c2fabc195e38d685283

custom fork of the fluxbox windowmanager

remove some unnecessary code
Mark Tiefenbruck mark@fluxbox.org
commit

518af23488b63ef8b3b57c2fabc195e38d685283

parent

c31638038aabd93c74373c7ee00fbefbc68d28ae

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

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

@@ -956,18 +956,7 @@ removeLastWorkspace();

} } - // if timestamp hasn't changed, then just a reconfigure is fine - // and that seems to happen somewhere else, anyway - if (fluxbox->menuTimestampsChanged()) { - // all bets are off, so just hide the menu and reset the filenames - fluxbox->clearMenuFilenames(); - m_rootmenu->hide(); - rereadMenu(); - } - //reconfigure menus - m_workspacemenu->reconfigure(); - m_configmenu->reconfigure(); // recreate window menu m_windowmenu.reset(MenuCreator::createMenuType("windowmenu", screenNumber())); m_windowmenu->setInternalMenu();