Ticket #4268: hide_tooltip_on_click.patch

File hide_tooltip_on_click.patch, 1.2 KB (added by erikos, 11 years ago)

patch for toolkit-gtk3 (same API as for the ToolButton)

  • src/sugar3/graphics/radiotoolbutton.py

    diff --git a/src/sugar3/graphics/radiotoolbutton.py b/src/sugar3/graphics/radiotoolbutton.py
    index 4e27a8f..c04cdc8 100644
    a b class RadioToolButton(Gtk.RadioToolButton): 
    4242        GObject.GObject.__init__(self, **kwargs)
    4343
    4444        self._palette_invoker.attach_tool(self)
     45        self._hide_tooltip_on_click = True
    4546
    4647        if icon_name:
    4748            self.set_icon_name(icon_name)
    class RadioToolButton(Gtk.RadioToolButton): 
    143144            cr.paint()
    144145
    145146        Gtk.RadioToolButton.do_draw(self, cr)
     147
     148    def get_hide_tooltip_on_click(self):
     149        return self._hide_tooltip_on_click
     150
     151    def set_hide_tooltip_on_click(self, hide_tooltip_on_click):
     152        if self._hide_tooltip_on_click != hide_tooltip_on_click:
     153            self._hide_tooltip_on_click = hide_tooltip_on_click
     154
     155    hide_tooltip_on_click = GObject.property(
     156        type=bool, default=True, getter=get_hide_tooltip_on_click,
     157        setter=set_hide_tooltip_on_click)
     158
     159    def do_clicked(self):
     160        if self._hide_tooltip_on_click and self.palette:
     161            self.palette.popdown(True)