From b0c654885c661d49369e59c60eff780f8ac61536 Mon Sep 17 00:00:00 2001 From: Stephen Boddy Date: Thu, 8 Dec 2016 18:39:15 +0100 Subject: [PATCH] Fix oversized splitter bar hover area for Adwaita and any other theme that does this --- terminatorlib/terminator.py | 22 +++++++++++++++------- 1 file changed, 15 insertions(+), 7 deletions(-) diff --git a/terminatorlib/terminator.py b/terminatorlib/terminator.py index b8d763c5..ecab175b 100755 --- a/terminatorlib/terminator.py +++ b/terminatorlib/terminator.py @@ -373,18 +373,26 @@ class Terminator(Borg): Gdk.Screen.get_default(), self.style_provider) self.style_provider = None + + css = """ + GtkPaned { + margin: 0 0 0 0; + padding: 0 0 0 0; + } + """ + if self.config['handle_size'] in xrange(0, 21): - css = """ + css += """ GtkPaned { -GtkPaned-handle-size: %s } """ % self.config['handle_size'] - self.style_provider = Gtk.CssProvider() - self.style_provider.load_from_data(css) - Gtk.StyleContext.add_provider_for_screen( - Gdk.Screen.get_default(), - self.style_provider, - Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION) + self.style_provider = Gtk.CssProvider() + self.style_provider.load_from_data(css) + Gtk.StyleContext.add_provider_for_screen( + Gdk.Screen.get_default(), + self.style_provider, + Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION) # Cause all the terminals to reconfigure for terminal in self.terminals: