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

set close button style regardless of the handle size being correct. Closes LP: #343607

This commit is contained in:
Chris Jones 2009-03-16 23:55:57 +00:00
parent e3449d4142
commit 2b8c2cadc5
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
terminatorlib/terminator.py
View File

@ -71,7 +71,7 @@ class TerminatorNotebookTabLabel(gtk.HBox):
self._button.add(self._icon) self._button.add(self._icon)
self._button.connect('clicked', self.on_close) self._button.connect('clicked', self.on_close)
self._button.set_name("terminator-tab-close-button") self._button.set_name("terminator-tab-close-button")
self.connect("style-set", self.on_style_set) self._button.connect("style-set", self.on_style_set)
if hasattr(self._button, "set_tooltip_text"): if hasattr(self._button, "set_tooltip_text"):
self._button.set_tooltip_text(_("Close Tab")) self._button.set_tooltip_text(_("Close Tab"))
self.pack_start(self._button, False, False) self.pack_start(self._button, False, False)
@ -221,6 +221,7 @@ class Terminator:
self.keybindings.configure(self.conf.keybindings) self.keybindings.configure(self.conf.keybindings)
self.set_handle_size (self.conf.handle_size) self.set_handle_size (self.conf.handle_size)
self.set_closebutton_style ()
self.window = gtk.Window () self.window = gtk.Window ()
self.window.set_title (APP_NAME.capitalize()) self.window.set_title (APP_NAME.capitalize())
@ -288,15 +289,16 @@ class Terminator:
class "GtkPaned" style "terminator-paned-style" class "GtkPaned" style "terminator-paned-style"
""" % self.conf.handle_size) """ % self.conf.handle_size)
gtk.rc_parse_string(""" def set_closebutton_style (self):
gtk.rc_parse_string("""
style "terminator-tab-close-button-style" { style "terminator-tab-close-button-style" {
GtkWidget::focus-padding = 0 GtkWidget::focus-padding = 0
GtkWidget::focus-line-width = 0 GtkWidget::focus-line-width = 0
xthickness = 0 xthickness = 0
ythickness = 0 ythickness = 0
} }
widget "*.terminator-tab-close-button" style "terminator-tab-close-button-style" widget "*.terminator-tab-close-button" style "terminator-tab-close-button-style"
""") """)
def enable_rgba (self, rgba = False): def enable_rgba (self, rgba = False):
screen = self.window.get_screen() screen = self.window.get_screen()