diff options
-rw-r--r-- | widgets.py | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -307,12 +307,16 @@ class ButtonStrokeColor(gtk.ToolItem): ch.hide_all() # Hide brush options: self.vbox_brush_options.hide_all() + # Change title: + self.set_title(_('Stamp properties')) else: # Show palette color widgets: for ch in palette_children[:4]: ch.show_all() # Show brush options: self.vbox_brush_options.show_all() + # Change title: + self.set_title(_('Brush properties')) self._palette.queue_draw() def set_stamping(self, stamping): |