replaces the handle_size property that was deprecated in gtk3.20
This commit is contained in:
parent
480bc47d0b
commit
4db7df5ea1
|
@ -541,10 +541,11 @@ class Terminator(Borg):
|
||||||
css = ""
|
css = ""
|
||||||
if self.config['handle_size'] in range(0, 21):
|
if self.config['handle_size'] in range(0, 21):
|
||||||
css += """
|
css += """
|
||||||
.terminator-terminal-window GtkPaned,
|
.terminator-terminal-window separator {
|
||||||
.terminator-terminal-window paned {
|
min-height: %spx;
|
||||||
-GtkPaned-handle-size: %s; }
|
min-width: %spx;
|
||||||
""" % self.config['handle_size']
|
}
|
||||||
|
""" % (self.config['handle_size'],self.config['handle_size'])
|
||||||
style_provider = Gtk.CssProvider()
|
style_provider = Gtk.CssProvider()
|
||||||
style_provider.load_from_data(css.encode('utf-8'))
|
style_provider.load_from_data(css.encode('utf-8'))
|
||||||
self.style_providers.append(style_provider)
|
self.style_providers.append(style_provider)
|
||||||
|
|
Loading…
Reference in New Issue