[anonymous] Make tooltips real tooltips. Fixes #3478
This commit is contained in:
parent
5f3c377921
commit
9d38ef3a35
|
@ -2038,6 +2038,7 @@ class ChatControl(ChatControlBase):
|
||||||
# so this line adds that
|
# so this line adds that
|
||||||
window.set_events(gtk.gdk.POINTER_MOTION_MASK)
|
window.set_events(gtk.gdk.POINTER_MOTION_MASK)
|
||||||
window.set_app_paintable(True)
|
window.set_app_paintable(True)
|
||||||
|
window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_TOOLTIP)
|
||||||
|
|
||||||
window.realize()
|
window.realize()
|
||||||
window.window.set_back_pixmap(pixmap, False) # make it transparent
|
window.window.set_back_pixmap(pixmap, False) # make it transparent
|
||||||
|
|
|
@ -64,6 +64,7 @@ class BaseTooltip:
|
||||||
self.win.set_border_width(3)
|
self.win.set_border_width(3)
|
||||||
self.win.set_resizable(False)
|
self.win.set_resizable(False)
|
||||||
self.win.set_name('gtk-tooltips')
|
self.win.set_name('gtk-tooltips')
|
||||||
|
self.win.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_TOOLTIP)
|
||||||
|
|
||||||
self.win.set_events(gtk.gdk.POINTER_MOTION_MASK)
|
self.win.set_events(gtk.gdk.POINTER_MOTION_MASK)
|
||||||
self.win.connect_after('expose_event', self.expose)
|
self.win.connect_after('expose_event', self.expose)
|
||||||
|
|
Loading…
Reference in New Issue