From 744316e0ff1b20e935fafad0253456784ced1f5c Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Mon, 22 Apr 2013 00:01:31 +0100 Subject: [PATCH] Hide GtkNotebook border, the people hate it --- terminatorlib/notebook.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/terminatorlib/notebook.py b/terminatorlib/notebook.py index 6fd653a4..d08d3c89 100755 --- a/terminatorlib/notebook.py +++ b/terminatorlib/notebook.py @@ -59,6 +59,11 @@ class Notebook(Container, gtk.Notebook): label = self.get_tab_label(self.get_nth_page(tab)) label.update_angle() + style = gtk.RcStyle() + style.xthickness = 0 + style.ythickness = 0 + self.modify_style(style) + def create_layout(self, layout): """Apply layout configuration""" def child_compare(a, b):