development/gitg
development/gitg
1
0
Fork 0
mirror of https://gitlab.gnome.org/GNOME/gitg synced 2024-08-28 04:19:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix custom panel overlay for RTL

Browse source
This commit is contained in:
Jesse van den Kieboom 2014-01-04 22:04:13 +01:00
parent e15b7546c5
commit 4962b06da9
1 changed files with 12 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
gitg/history/gitg-history-paned.vala
View file

@ -141,6 +141,9 @@ class Paned : Gtk.Paned
{
var ret = base.draw(context);
var window = d_box_sidebar.get_window();
var handlewin = get_handle_window();
var c = get_style_context();
c.save();
@ -150,13 +153,19 @@ class Paned : Gtk.Paned
d_stack_switcher_panels.get_allocation(out alloc);
var y = alloc.y - d_box_sidebar.spacing;
var hw = get_handle_window().get_width();
var hw = handlewin.get_width();
var w = position + hw;
var h = alloc.height + d_box_sidebar.spacing + d_stack_switcher_panels.margin_bottom;
c.render_frame(context, 0, y, w, h);
int wx;
window.get_position(out wx, null);
c.render_background(context, position, y, hw, h);
c.render_frame(context, wx, y, w, h);
int hx;
handlewin.get_position(out hx, null);
c.render_background(context, hx, y, hw, h);
c.restore();