Skip to content

Instantly share code, notes, and snippets.

@cecepm
Created May 10, 2021 12:49
Show Gist options
  • Save cecepm/61cfc469118d9ace12bf4f3966717bd1 to your computer and use it in GitHub Desktop.
Save cecepm/61cfc469118d9ace12bf4f3966717bd1 to your computer and use it in GitHub Desktop.
Terminator 1.91-4ubuntu1 Patch for better split separator
--- terminator.py.orig 2021-05-10 19:34:31.294488162 +0700
+++ terminator.py 2021-05-10 19:37:34.914358012 +0700
@@ -454,6 +454,9 @@
.terminator-terminal-window .pane-separator {
background-color: @theme_bg_color; }
+ .terminator-terminal-window paned separator {
+ background-color: @theme_bg_color; }
+
.terminator-terminal-window .terminator-terminal-searchbar {
background-color: @theme_bg_color; }
"""
@@ -541,8 +544,11 @@
css += """
.terminator-terminal-window GtkPaned,
.terminator-terminal-window paned {
- -GtkPaned-handle-size: %s; }
- """ % self.config['handle_size']
+ -GtkPaned-handle-size: %(size)s; }
+ .terminator-terminal-window paned > separator {
+ min-width: %(size)spx;
+ min-height: %(size)spx; }
+ """ % {"size":self.config['handle_size']}
style_provider = Gtk.CssProvider()
style_provider.load_from_data(css.encode('utf-8'))
self.style_providers.append(style_provider)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment