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
|
|
|
* *****************************************************/
|
|
|
|
|
|
2014-08-17 07:02:48 +02:00
|
|
|
#include "gui/widgets/panel-bar.hpp"
|
2010-12-27 05:50:40 +01:00
|
|
|
#include "gui/workspace/workspace-window.hpp"
|
|
|
|
|
#include "gui/workspace/panel-manager.hpp"
|
|
|
|
|
#include "gui/panels/panel.hpp"
|
|
|
|
|
#include "gui/util/rectangle.hpp"
|
2014-08-17 07:02:48 +02:00
|
|
|
#include "include/logging.h"
|
2009-03-08 17:50:23 +01:00
|
|
|
|
2009-03-17 22:57:45 +01:00
|
|
|
#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;
|
2009-03-17 22:57:45 +01:00
|
|
|
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) :
|
2009-04-16 16:44:40 +02:00
|
|
|
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.unset_flags(CAN_FOCUS);
|
|
|
|
|
panelButton.show();
|
|
|
|
|
pack_start(panelButton, PACK_SHRINK);
|
2009-03-18 18:58:57 +01:00
|
|
|
|
|
|
|
|
setup_panel_button();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
|
PanelBar::setup_panel_button()
|
|
|
|
|
{
|
2009-04-14 20:39:58 +02:00
|
|
|
REQUIRE(lockItem == NULL);
|
|
|
|
|
|
2009-03-18 18:58:57 +01:00
|
|
|
Menu& menu = panelButton.get_menu();
|
|
|
|
|
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) ) );
|
2009-03-08 17:50:23 +01:00
|
|
|
}
|
|
|
|
|
|
2009-03-17 22:57:45 +01:00
|
|
|
void
|
|
|
|
|
PanelBar::on_realize()
|
|
|
|
|
{
|
|
|
|
|
set_flags(Gtk::NO_WINDOW);
|
|
|
|
|
|
|
|
|
|
// Call base class:
|
|
|
|
|
Gtk::Container::on_realize();
|
|
|
|
|
|
|
|
|
|
// Create the GdkWindow:
|
|
|
|
|
GdkWindowAttr attributes;
|
|
|
|
|
memset(&attributes, 0, sizeof(attributes));
|
|
|
|
|
|
|
|
|
|
const Allocation allocation(get_allocation());
|
|
|
|
|
|
|
|
|
|
// Set initial position and size of the Gdk::Window:
|
|
|
|
|
attributes.x = allocation.get_x();
|
|
|
|
|
attributes.y = allocation.get_y();
|
|
|
|
|
attributes.width = allocation.get_width();
|
|
|
|
|
attributes.height = allocation.get_height();
|
|
|
|
|
|
|
|
|
|
attributes.event_mask = GDK_ALL_EVENTS_MASK;
|
|
|
|
|
attributes.window_type = GDK_WINDOW_CHILD;
|
|
|
|
|
attributes.wclass = GDK_INPUT_OUTPUT;
|
|
|
|
|
|
|
|
|
|
window = Gdk::Window::create(get_window(), &attributes,
|
|
|
|
|
GDK_WA_X | GDK_WA_Y);
|
|
|
|
|
|
|
|
|
|
window->set_user_data(gobj());
|
|
|
|
|
window->set_cursor(Gdk::Cursor(Gdk::LEFT_PTR));
|
|
|
|
|
|
|
|
|
|
set_window(window);
|
|
|
|
|
unset_flags(Gtk::NO_WINDOW);
|
|
|
|
|
|
|
|
|
|
unset_bg(STATE_NORMAL);
|
|
|
|
|
}
|
|
|
|
|
|
2009-04-16 16:44:40 +02:00
|
|
|
void
|
|
|
|
|
PanelBar::on_size_request(Gtk::Requisition* requisition)
|
|
|
|
|
{
|
|
|
|
|
REQUIRE(requisition);
|
|
|
|
|
|
|
|
|
|
requisition->width = 0;
|
|
|
|
|
requisition->height = 0;
|
|
|
|
|
|
|
|
|
|
Box::BoxList &list = children();
|
|
|
|
|
Box::BoxList::const_iterator i;
|
|
|
|
|
for(i = list.begin(); i != list.end(); i++)
|
|
|
|
|
{
|
|
|
|
|
Widget *widget = (*i).get_widget();
|
|
|
|
|
REQUIRE(widget);
|
|
|
|
|
|
|
|
|
|
Requisition child_requisition = widget->size_request();
|
|
|
|
|
requisition->width += child_requisition.width;
|
|
|
|
|
requisition->height = max(requisition->height,
|
|
|
|
|
child_requisition.height);
|
|
|
|
|
}
|
2009-04-16 19:28:49 +02:00
|
|
|
|
|
|
|
|
const int border_width = get_border_width();
|
|
|
|
|
requisition->width += border_width * 2;
|
|
|
|
|
requisition->height += border_width * 2 ;
|
2009-04-16 16:44:40 +02:00
|
|
|
|
|
|
|
|
ENSURE(requisition->width >= 0);
|
|
|
|
|
ENSURE(requisition->height >= 0);
|
|
|
|
|
}
|
|
|
|
|
|
2009-03-17 22:57:45 +01:00
|
|
|
void
|
|
|
|
|
PanelBar::on_size_allocate(Gtk::Allocation& allocation)
|
|
|
|
|
{
|
2009-04-16 18:58:28 +02:00
|
|
|
struct RequestResult
|
|
|
|
|
{
|
|
|
|
|
Requisition requisition;
|
|
|
|
|
Widget *widget;
|
|
|
|
|
};
|
2009-04-16 19:28:49 +02:00
|
|
|
|
|
|
|
|
const int border_width = get_border_width();
|
2009-04-16 18:58:28 +02:00
|
|
|
|
2009-04-16 16:44:40 +02:00
|
|
|
// Use the offered allocation for this container
|
|
|
|
|
set_allocation(allocation);
|
|
|
|
|
|
2009-04-16 18:58:28 +02:00
|
|
|
// Requisition each widget
|
|
|
|
|
int index = 0;
|
|
|
|
|
int total_width = 0;
|
2009-04-16 16:44:40 +02:00
|
|
|
Box::BoxList &list = children();
|
|
|
|
|
Box::BoxList::const_iterator i;
|
|
|
|
|
|
2009-04-16 18:58:28 +02:00
|
|
|
const int child_count = list.size();
|
|
|
|
|
RequestResult *requestResults = new RequestResult[child_count];
|
|
|
|
|
REQUIRE(requestResults);
|
|
|
|
|
|
2009-04-16 16:44:40 +02:00
|
|
|
for(i = list.begin(); i != list.end(); i++)
|
|
|
|
|
{
|
|
|
|
|
Widget *widget = (*i).get_widget();
|
|
|
|
|
REQUIRE(widget);
|
2009-04-16 18:58:28 +02:00
|
|
|
|
|
|
|
|
RequestResult result = {widget->size_request(), widget};
|
|
|
|
|
total_width += result.requisition.width;
|
|
|
|
|
requestResults[index++] = result;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
total_width = max(min(allocation.get_width(), total_width), 0);
|
|
|
|
|
|
|
|
|
|
// Lay out the child widgets
|
|
|
|
|
int offset = 0;
|
|
|
|
|
for(index = 0; index < child_count; index++)
|
|
|
|
|
{
|
|
|
|
|
RequestResult &result = requestResults[index];
|
|
|
|
|
|
|
|
|
|
Gtk::Allocation child_allocation(
|
2009-04-16 19:28:49 +02:00
|
|
|
offset + border_width,
|
|
|
|
|
(allocation.get_height() - result.requisition.height) / 2,
|
|
|
|
|
min(result.requisition.width, allocation.get_width() - offset),
|
|
|
|
|
result.requisition.height);
|
2009-04-16 17:02:58 +02:00
|
|
|
|
2009-04-16 18:58:28 +02:00
|
|
|
offset += result.requisition.width;
|
|
|
|
|
|
|
|
|
|
if(get_direction() == TEXT_DIR_RTL)
|
|
|
|
|
{
|
|
|
|
|
child_allocation.set_x(total_width -
|
|
|
|
|
child_allocation.get_x() - child_allocation.get_width());
|
|
|
|
|
}
|
2009-04-16 16:44:40 +02:00
|
|
|
|
2009-04-16 17:02:58 +02:00
|
|
|
if(child_allocation.get_width() <= 0)
|
2009-04-16 18:58:28 +02:00
|
|
|
result.widget->set_child_visible(false);
|
2009-04-16 17:02:58 +02:00
|
|
|
else
|
|
|
|
|
{
|
2009-04-16 18:58:28 +02:00
|
|
|
result.widget->size_allocate(child_allocation);
|
|
|
|
|
result.widget->set_child_visible(true);
|
2009-04-16 17:02:58 +02:00
|
|
|
}
|
2009-04-16 16:44:40 +02:00
|
|
|
}
|
|
|
|
|
|
2009-04-16 18:58:28 +02:00
|
|
|
// Tidy up
|
|
|
|
|
delete[] requestResults;
|
|
|
|
|
|
2009-04-16 16:44:40 +02:00
|
|
|
// Resize the window
|
2009-03-17 22:57:45 +01:00
|
|
|
if(window)
|
2009-04-16 18:58:28 +02:00
|
|
|
{
|
|
|
|
|
if(get_direction() != TEXT_DIR_RTL)
|
|
|
|
|
{
|
|
|
|
|
window->move_resize(allocation.get_x(), allocation.get_y(),
|
2009-04-16 19:33:27 +02:00
|
|
|
total_width + border_width * 2, allocation.get_height());
|
2009-04-16 18:58:28 +02:00
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
window->move_resize(
|
|
|
|
|
allocation.get_x() + allocation.get_width() - total_width,
|
2009-04-16 19:33:27 +02:00
|
|
|
allocation.get_y(),
|
|
|
|
|
total_width + border_width * 2, allocation.get_height());
|
2009-04-16 18:58:28 +02:00
|
|
|
}
|
2009-03-17 22:57:45 +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
|