diff options
| author | fiaxh <git@lightrise.org> | 2022-07-29 19:54:54 +0200 |
|---|---|---|
| committer | fiaxh <git@lightrise.org> | 2022-08-20 21:09:42 +0200 |
| commit | 6bfa70fc7045669be435d3757456e1da7d341927 (patch) | |
| tree | cf33f0f6343cdb32e2e20829203c5cdd71a60997 /main/src/ui/util | |
| parent | 517363dfc9dab81c4b59310c739bcf71266fabe0 (diff) | |
| download | dino-6bfa70fc7045669be435d3757456e1da7d341927.tar.gz dino-6bfa70fc7045669be435d3757456e1da7d341927.zip | |
Disable tooltips for GTK 4.6.4 - 4.6.6
A bug in GTK caused the application to crash in some tooltip-related conditions
https://gitlab.gnome.org/GNOME/gtk/-/issues/4941
Diffstat (limited to 'main/src/ui/util')
| -rw-r--r-- | main/src/ui/util/helper.vala | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/main/src/ui/util/helper.vala b/main/src/ui/util/helper.vala index 98abb48e..df7438b1 100644 --- a/main/src/ui/util/helper.vala +++ b/main/src/ui/util/helper.vala @@ -440,4 +440,16 @@ public bool use_csd() { return ((Application) GLib.Application.get_default()).use_csd(); } +public Widget? widget_if_tooltips_active(Widget w) { + return use_tooltips() ? w : null; +} + +public string? string_if_tooltips_active(string s) { + return use_tooltips() ? s : null; +} + +public bool use_tooltips() { + return Gtk.MINOR_VERSION != 6 || (Gtk.MICRO_VERSION < 4 || Gtk.MICRO_VERSION > 6); +} + } |