From 5f8e41dc9bfe4daf47796fe66c24c8fdce25f043 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Mon, 26 Dec 2022 10:13:51 +0100 Subject: [PATCH] GuiHyperlink: some minor fixes * disambiguate "Other" label * Add accelerator * Add tooltip to "Other" widget * Amend tooltip of "Web" widget (since "other" now seems to have taken part of its function) --- src/frontends/qt/ui/HyperlinkUi.ui | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/frontends/qt/ui/HyperlinkUi.ui b/src/frontends/qt/ui/HyperlinkUi.ui index 9f19721cb0..ab90a4648d 100644 --- a/src/frontends/qt/ui/HyperlinkUi.ui +++ b/src/frontends/qt/ui/HyperlinkUi.ui @@ -6,7 +6,7 @@ 0 0 - 306 + 319 226 @@ -130,7 +130,7 @@ - Link to the web or to every other target + Link to the web &Web @@ -162,8 +162,11 @@ + + Link to an arbitrary other URI scheme (to be specified in the Target field above) + - Other + &Other[[Link Type]] -- 2.39.5