Fix oversized splitter bar hover area for Adwaita and any other theme that does this

This commit is contained in:
Stephen Boddy 2016-12-08 18:39:15 +01:00
parent 3a6eb144a2
commit b0c654885c
1 changed files with 15 additions and 7 deletions

View File

@ -373,18 +373,26 @@ class Terminator(Borg):
Gdk.Screen.get_default(), Gdk.Screen.get_default(),
self.style_provider) self.style_provider)
self.style_provider = None 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): if self.config['handle_size'] in xrange(0, 21):
css = """ css += """
GtkPaned { GtkPaned {
-GtkPaned-handle-size: %s -GtkPaned-handle-size: %s
} }
""" % self.config['handle_size'] """ % self.config['handle_size']
self.style_provider = Gtk.CssProvider() self.style_provider = Gtk.CssProvider()
self.style_provider.load_from_data(css) self.style_provider.load_from_data(css)
Gtk.StyleContext.add_provider_for_screen( Gtk.StyleContext.add_provider_for_screen(
Gdk.Screen.get_default(), Gdk.Screen.get_default(),
self.style_provider, self.style_provider,
Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION) Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION)
# Cause all the terminals to reconfigure # Cause all the terminals to reconfigure
for terminal in self.terminals: for terminal in self.terminals: