Fix critical warning due to tooltip issue

This commit is contained in:
Marvin W 2023-01-25 21:47:57 +01:00
parent 1e23b7bbd2
commit 9e11bef219
No known key found for this signature in database
GPG key ID: 072E9235DB996F2A

View file

@ -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;
}