diff options
| author | Marvin W <git@larma.de> | 2023-01-25 21:47:57 +0100 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2023-01-31 15:14:47 +0100 |
| commit | 9e11bef219880b5bdc5d299c31ec6249596a86ba (patch) | |
| tree | d514624312d4da780b96c6cae2bd1b82e438b3d3 | |
| parent | 1e23b7bbd2a66e5ff40ae5fc5aa6523fa604f242 (diff) | |
| download | dino-9e11bef219880b5bdc5d299c31ec6249596a86ba.tar.gz dino-9e11bef219880b5bdc5d299c31ec6249596a86ba.zip | |
Fix critical warning due to tooltip issue
| -rw-r--r-- | main/src/ui/util/helper.vala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/src/ui/util/helper.vala b/main/src/ui/util/helper.vala index ecf0ab25..485e469f 100644 --- a/main/src/ui/util/helper.vala +++ b/main/src/ui/util/helper.vala @@ -445,7 +445,7 @@ public Widget? widget_if_tooltips_active(Widget w) { return use_tooltips() ? w : null; } -public string? string_if_tooltips_active(string s) { +public string? string_if_tooltips_active(string? s) { return use_tooltips() ? s : null; } |