diff options
author | markt <markt> | 2006-07-01 02:56:46 (GMT) |
---|---|---|
committer | markt <markt> | 2006-07-01 02:56:46 (GMT) |
commit | 698539d9b9012bb6c282725e775e358c1bd4a281 (patch) | |
tree | 2e4fae2776b7384058addbcfdbf2cc22605a3885 /src/Screen.cc | |
parent | a14c322dcbbc7330b6933230168d34411f7ac63b (diff) | |
download | fluxbox-698539d9b9012bb6c282725e775e358c1bd4a281.zip fluxbox-698539d9b9012bb6c282725e775e358c1bd4a281.tar.bz2 |
more dead functions
Diffstat (limited to 'src/Screen.cc')
-rw-r--r-- | src/Screen.cc | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/Screen.cc b/src/Screen.cc index 71e4c54..7523f8a 100644 --- a/src/Screen.cc +++ b/src/Screen.cc | |||
@@ -744,18 +744,6 @@ void BScreen::addExtraWindowMenu(const FbTk::FbString &label, FbTk::Menu *menu) | |||
744 | m_windowmenu->setInternalMenu(); | 744 | m_windowmenu->setInternalMenu(); |
745 | } | 745 | } |
746 | 746 | ||
747 | void BScreen::removeExtraWindowMenu(FbTk::Menu *menu) { | ||
748 | ExtraMenus::iterator it = find_if(m_extramenus.begin(), | ||
749 | m_extramenus.end(), | ||
750 | FbTk::Compose(bind2nd(equal_to<FbTk::Menu *>(), menu), | ||
751 | FbTk::Select2nd<ExtraMenus::value_type>())); | ||
752 | if (it != m_extramenus.end()) | ||
753 | m_extramenus.erase(it); | ||
754 | // recreate window menu | ||
755 | m_windowmenu.reset(MenuCreator::createMenuType("windowmenu", screenNumber())); | ||
756 | m_windowmenu->setInternalMenu(); | ||
757 | } | ||
758 | |||
759 | void BScreen::hideMenus() { | 747 | void BScreen::hideMenus() { |
760 | // hide extra menus | 748 | // hide extra menus |
761 | Fluxbox::instance()->hideExtraMenus(*this); | 749 | Fluxbox::instance()->hideExtraMenus(*this); |