diff options
| author | Xavier Del Campo Romero <xavi.dcr@tutanota.com> | 2023-09-18 23:42:07 +0200 |
|---|---|---|
| committer | Xavier Del Campo Romero <xavi.dcr@tutanota.com> | 2023-10-09 14:08:59 +0200 |
| commit | 677ac164a953a90acff60e7b84b0091184f56464 (patch) | |
| tree | e015357c23ab56326fae4217c25d294b6626b850 /main/data | |
| parent | 2f1f04b3e80beaf2c7f333a14cb7e14eeafe935e (diff) | |
| download | dino-677ac164a953a90acff60e7b84b0091184f56464.tar.gz | |
Make Ctrl-Q accelerator user-configurable
Some devices, such as those using virtual keyboards such as Squeekboard,
might find the Ctrl-Q accelerator annoying, as it can be easily
mistyped.
Diffstat (limited to 'main/data')
| -rw-r--r-- | main/data/settings_dialog.ui | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/main/data/settings_dialog.ui b/main/data/settings_dialog.ui index 302a9e1c..a45b0664 100644 --- a/main/data/settings_dialog.ui +++ b/main/data/settings_dialog.ui @@ -172,6 +172,18 @@ <property name="height">1</property> </packing> </child> + <child> + <object class="GtkCheckButton" id="quit_ctrl_q_checkbutton"> + <property name="label" translatable="yes">Quit Dino with Ctrl+Q</property> + <property name="visible">True</property> + </object> + <packing> + <property name="left_attach">0</property> + <property name="top_attach">8</property> + <property name="width">1</property> + <property name="height">1</property> + </packing> + </child> </object> </child> </object> |