benn/lumiera_documentation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added PanelBar border padding support

Browse source
This commit is contained in:
Joel Holdsworth 2009-04-16 18:28:49 +01:00
parent e753463802
commit b6263971cf
1 changed files with 10 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/gui/widgets/panel-bar.cpp
View file

@ -146,6 +146,10 @@ PanelBar::on_size_request(Gtk::Requisition* requisition)
requisition->height = max(requisition->height,
child_requisition.height);
}
const int border_width = get_border_width();
requisition->width += border_width * 2;
requisition->height += border_width * 2 ;
ENSURE(requisition->width >= 0);
ENSURE(requisition->height >= 0);
@ -159,6 +163,8 @@ PanelBar::on_size_allocate(Gtk::Allocation& allocation)
Requisition requisition;
Widget *widget;
};
const int border_width = get_border_width();
// Use the offered allocation for this container
set_allocation(allocation);
@ -192,10 +198,10 @@ PanelBar::on_size_allocate(Gtk::Allocation& allocation)
RequestResult &result = requestResults[index];
Gtk::Allocation child_allocation(
offset,
(allocation.get_height() - result.requisition.height) / 2,
min(result.requisition.width, allocation.get_width() - offset),
result.requisition.height);
offset + border_width,
(allocation.get_height() - result.requisition.height) / 2,
min(result.requisition.width, allocation.get_width() - offset),
result.requisition.height);
offset += result.requisition.width;