Merge pull request #140 from mattrose/issue133

replaces the handle_size property that was deprecated in gtk3.20
This commit is contained in:
Matt Rose 2020-06-21 12:03:48 -04:00 committed by GitHub
commit 0c1032afa0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 4 deletions

View File

@ -513,10 +513,11 @@ class Terminator(Borg):
css = ""
if self.config['handle_size'] in range(0, 21):
css += """
.terminator-terminal-window GtkPaned,
.terminator-terminal-window paned {
-GtkPaned-handle-size: %s; }
""" % self.config['handle_size']
.terminator-terminal-window separator {
min-height: %spx;
min-width: %spx;
}
""" % (self.config['handle_size'],self.config['handle_size'])
style_provider = Gtk.CssProvider()
style_provider.load_from_data(css.encode('utf-8'))
self.style_providers.append(style_provider)