itdominator
/
terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix the colours to use public ones, and make Adwaita hover fix consistent.

This commit is contained in:
Stephen Boddy 2016-12-08 18:31:42 +01:00
parent cc14681bfd
commit d1b2f45d56
1 changed files with 20 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
terminatorlib/terminator.py
View File

@ -382,16 +382,16 @@ class Terminator(Borg):
# widgets theming may not render it's own background. # widgets theming may not render it's own background.
css = """ css = """
.terminator-terminal-window { .terminator-terminal-window {
background-color: rgba(0,0,0,0); } background-color: alpha(@theme_bg_color,0); }
.notebook.header { .notebook.header {
background-color: @bg_color; } background-color: @theme_bg_color; }
.pane-separator { .pane-separator {
background-color: @bg_color; } background-color: @theme_bg_color; }
.terminator-terminal-searchbar { .terminator-terminal-searchbar {
background-color: @bg_color; } background-color: @theme_bg_color; }
""" """
style_provider = Gtk.CssProvider() style_provider = Gtk.CssProvider()
style_provider.load_from_data(css) style_provider.load_from_data(css)
@ -401,20 +401,26 @@ class Terminator(Borg):
# Shamelessly cribbed from GNOME-Terminal # Shamelessly cribbed from GNOME-Terminal
style_provider = Gtk.CssProvider() style_provider = Gtk.CssProvider()
style_provider.load_from_path('terminatorlib/terminator.css') style_provider.load_from_path('terminatorlib/terminator.css')
self.style_providers.append(style_provider) # Disabled for now. Needs to be theme dependant, and this is Ambiance
# only. Looks like crap on Adwaita :-)
#self.style_providers.append(style_provider)
# Size the GtkPaned splitter handle size and fix Adwaita dumb-ass # Fix Adwaita dumb-ass oversized hover on handle.
# oversized hover on handle. css = """
GtkPaned {
margin: 0 0 0 0;
padding: 0 0 0 0; }
"""
# Size the GtkPaned splitter handle size.
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; }
margin: 0 0 0 0;
padding: 0 0 0 0; }
""" % self.config['handle_size'] """ % self.config['handle_size']
style_provider = Gtk.CssProvider() style_provider = Gtk.CssProvider()
style_provider.load_from_data(css) style_provider.load_from_data(css)
self.style_providers.append(style_provider) self.style_providers.append(style_provider)
# Apply the providers, incrementing priority so they don't cancel out # Apply the providers, incrementing priority so they don't cancel out
# each other # each other