diff options
author | Mark Tiefenbruck <mark@fluxbox.org> | 2008-05-10 22:42:35 (GMT) |
---|---|---|
committer | Mark Tiefenbruck <mark@fluxbox.org> | 2008-05-10 22:42:35 (GMT) |
commit | 518af23488b63ef8b3b57c2fabc195e38d685283 (patch) | |
tree | 762f223fc294b87056506284a0f142bacaf32e9d | |
parent | c31638038aabd93c74373c7ee00fbefbc68d28ae (diff) | |
download | fluxbox_paul-518af23488b63ef8b3b57c2fabc195e38d685283.zip fluxbox_paul-518af23488b63ef8b3b57c2fabc195e38d685283.tar.bz2 |
remove some unnecessary code
-rw-r--r-- | src/Screen.cc | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/Screen.cc b/src/Screen.cc index 1ae5fbc..c94891b 100644 --- a/src/Screen.cc +++ b/src/Screen.cc | |||
@@ -956,18 +956,7 @@ void BScreen::reconfigure() { | |||
956 | } | 956 | } |
957 | } | 957 | } |
958 | 958 | ||
959 | // if timestamp hasn't changed, then just a reconfigure is fine | ||
960 | // and that seems to happen somewhere else, anyway | ||
961 | if (fluxbox->menuTimestampsChanged()) { | ||
962 | // all bets are off, so just hide the menu and reset the filenames | ||
963 | fluxbox->clearMenuFilenames(); | ||
964 | m_rootmenu->hide(); | ||
965 | rereadMenu(); | ||
966 | } | ||
967 | |||
968 | //reconfigure menus | 959 | //reconfigure menus |
969 | m_workspacemenu->reconfigure(); | ||
970 | m_configmenu->reconfigure(); | ||
971 | // recreate window menu | 960 | // recreate window menu |
972 | m_windowmenu.reset(MenuCreator::createMenuType("windowmenu", screenNumber())); | 961 | m_windowmenu.reset(MenuCreator::createMenuType("windowmenu", screenNumber())); |
973 | m_windowmenu->setInternalMenu(); | 962 | m_windowmenu->setInternalMenu(); |