aboutsummaryrefslogtreecommitdiff
path: root/main/data/gtk
diff options
context:
space:
mode:
authorMiquel Lionel <lionel@les-miquelots.net>2023-10-13 00:05:26 +0200
committerMiquel Lionel <lionel@les-miquelots.net>2023-10-18 01:37:45 +0200
commit1c4d47f35274d560ee9eb855d7f1c45dd4dd140c (patch)
tree75a62a5828459d6f1481bee0f5701901edf6a655 /main/data/gtk
parent86b101900c28a09ebc6bcbf212f9969f70ce51b7 (diff)
downloaddino-add-kbd-shortcut-to-zoom-text.tar.gz
dino-add-kbd-shortcut-to-zoom-text.zip
Add keyboard shortcut and setting to increase text size (fixes #978)add-kbd-shortcut-to-zoom-text
* Can zoom in / out or reset zoom levels via shortcuts * Can change zoom value via global preferences window
Diffstat (limited to 'main/data/gtk')
-rw-r--r--main/data/gtk/help-overlay.ui18
1 files changed, 18 insertions, 0 deletions
diff --git a/main/data/gtk/help-overlay.ui b/main/data/gtk/help-overlay.ui
index 17b0555c..bb3bb437 100644
--- a/main/data/gtk/help-overlay.ui
+++ b/main/data/gtk/help-overlay.ui
@@ -26,6 +26,24 @@
<property name="title" translatable="yes">Keyboard shortcuts</property>
</object>
</child>
+ <child>
+ <object class="GtkShortcutsShortcut">
+ <property name="accelerator">&lt;ctrl&gt;plus</property>
+ <property name="title" translatable="yes">Increase text size</property>
+ </object>
+ </child>
+ <child>
+ <object class="GtkShortcutsShortcut">
+ <property name="accelerator">&lt;ctrl&gt;minus</property>
+ <property name="title" translatable="yes">Lower text size</property>
+ </object>
+ </child>
+ <child>
+ <object class="GtkShortcutsShortcut">
+ <property name="accelerator">&lt;ctrl&gt;0</property>
+ <property name="title" translatable="yes">Resets text size to default</property>
+ </object>
+ </child>
</object>
</child>
<child>