[gedit] Add a shortcut: f7: toogle cursor visibility

[Sébastien Wilmet <swilmet src gnome org>]

commit 281a6a71f1a1ee46fc3f59e1a7e16b39b337725c
Author: Sabri Ünal <libreajans gmail com>
Date:   Wed Feb 12 15:38:19 2020 +0300

    Add a shortcut: f7: toogle cursor visibility

 gedit/resources/ui/gedit-shortcuts.ui | 7 +++++++
 1 file changed, 7 insertions(+)
---
diff --git a/gedit/resources/ui/gedit-shortcuts.ui b/gedit/resources/ui/gedit-shortcuts.ui
index 801e3b7bf..223442a68 100644
--- a/gedit/resources/ui/gedit-shortcuts.ui
+++ b/gedit/resources/ui/gedit-shortcuts.ui
@@ -306,6 +306,13 @@
                 <property name="title" translatable="yes" context="shortcut window">Toggle insert / 
overwrite</property>
               </object>
             </child>
+            <child>
+              <object class="GtkShortcutsShortcut">
+                <property name="visible">1</property>
+                <property name="accelerator">F7</property>
+                <property name="title" translatable="yes" context="shortcut window">Toggle cursor 
visibility</property>
+              </object>
+            </child>
             <child>
               <object class="GtkShortcutsShortcut">
                 <property name="visible">1</property>