lumiera_/src/gui/widgets/panel-bar.cpp

135 lines
3.4 KiB
C++
Raw Normal View History

2009-03-08 17:50:23 +01:00
/*
panel-bar.hpp - Declaration of the panel bar widget
2010-12-17 23:28:49 +01:00
2009-03-08 17:50:23 +01:00
Copyright (C) Lumiera.org
2009, Joel Holdsworth <joel@airwebreathe.org.uk>
2010-12-17 23:28:49 +01:00
2009-03-08 17:50:23 +01:00
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
2010-12-17 23:28:49 +01:00
published by the Free Software Foundation; either version 2 of
the License, or (at your option) any later version.
2009-03-08 17:50:23 +01:00
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
2010-12-17 23:28:49 +01:00
2009-03-08 17:50:23 +01:00
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
2010-12-17 23:28:49 +01:00
2009-03-08 17:50:23 +01:00
* *****************************************************/
#include "gui/widgets/panel-bar.hpp"
#include "gui/workspace/workspace-window.hpp"
#include "gui/workspace/panel-manager.hpp"
#include "gui/panels/panel.hpp"
#include "gui/util/rectangle.hpp"
#include "include/logging.h"
2009-03-08 17:50:23 +01:00
#include <boost/foreach.hpp>
#include <algorithm>
2009-03-08 17:50:23 +01:00
using namespace Gtk;
2009-03-16 23:25:45 +01:00
using namespace Glib;
2009-03-08 17:50:23 +01:00
using namespace sigc;
using namespace std;
2009-04-04 19:53:09 +02:00
using namespace gui::workspace;
2009-03-16 23:25:45 +01:00
2009-03-08 17:50:23 +01:00
namespace gui {
namespace widgets {
2009-03-18 18:58:57 +01:00
PanelBar::PanelBar(panels::Panel &owner_panel, const gchar *stock_id) :
Box(),
2009-03-18 18:58:57 +01:00
panel(owner_panel),
2009-04-14 20:39:58 +02:00
panelButton(StockID(stock_id)),
lockItem(NULL)
2009-03-28 20:16:56 +01:00
{
set_border_width(1);
2009-03-08 17:50:23 +01:00
panelButton.set_relief(RELIEF_NONE);
panelButton.set_can_focus(false);
2009-03-08 17:50:23 +01:00
panelButton.show();
pack_start(panelButton, PACK_SHRINK);
2009-03-18 18:58:57 +01:00
setup_panel_button();
}
void
PanelBar::setup_panel_button()
{
#if 0
2009-04-14 20:39:58 +02:00
REQUIRE(lockItem == NULL);
2009-03-18 18:58:57 +01:00
Menu& menu = panelButton.get_menu();
MenuList& list = menu.items();
2009-04-04 19:53:09 +02:00
// Add items for each type of panel
for(int i = 0; i < PanelManager::get_panel_description_count(); i++)
{
list.push_back( Menu_Helpers::StockMenuElem(
StockID(PanelManager::get_panel_stock_id(i)),
bind(mem_fun(*this, &PanelBar::on_panel_type), i) ));
}
list.push_back( Menu_Helpers::SeparatorElem() );
2009-03-18 18:58:57 +01:00
2009-04-04 19:53:09 +02:00
// Add extra commands
2009-03-18 18:58:57 +01:00
list.push_back( Menu_Helpers::MenuElem(_("_Hide"),
mem_fun(*this, &PanelBar::on_hide) ) );
2009-04-14 20:39:58 +02:00
list.push_back( Menu_Helpers::CheckMenuElem(_("_Lock"),
mem_fun(*this, &PanelBar::on_lock) ) );
lockItem = dynamic_cast<CheckMenuItem*>(&list.back());
ENSURE(lockItem);
lockItem->set_active(panel.is_locked());
2009-04-15 13:24:34 +02:00
list.push_back( Menu_Helpers::MenuElem(_("Split _Horizontal"),
bind(mem_fun(*this, &PanelBar::on_split_panel),
ORIENTATION_HORIZONTAL) ) );
list.push_back( Menu_Helpers::MenuElem(_("Split _Vertical"),
bind(mem_fun(*this, &PanelBar::on_split_panel),
ORIENTATION_VERTICAL) ) );
#endif
2009-03-08 17:50:23 +01:00
}
2009-04-04 19:53:09 +02:00
void
PanelBar::on_panel_type(int type_index)
2009-04-13 13:45:14 +02:00
{
2009-04-13 17:11:50 +02:00
panel.get_panel_manager().switch_panel(panel, type_index);
2009-04-04 19:53:09 +02:00
}
2009-03-18 18:58:57 +01:00
void
PanelBar::on_hide()
{
panel.show(false);
}
2009-04-14 20:39:58 +02:00
void
PanelBar::on_lock()
{
2009-04-15 00:43:17 +02:00
static bool is_locking = false;
2009-04-14 20:39:58 +02:00
REQUIRE(lockItem);
2009-04-15 00:43:17 +02:00
if(!is_locking)
{
is_locking = true;
const bool lock = !panel.is_locked();
panel.lock(lock);
lockItem->set_active(lock);
is_locking = false;
}
2009-04-14 20:39:58 +02:00
}
2009-04-15 13:24:34 +02:00
void
PanelBar::on_split_panel(Gtk::Orientation split_direction)
{
panel.get_panel_manager().split_panel(panel, split_direction);
}
2009-03-08 17:50:23 +01:00
} // widgets
} // gui