[gnome-builder] shortcuts: add ctrl+shift+r for rename symbol



commit 2682a740306bf64405380860e651e73cab35678e
Author: Christian Hergert <chergert redhat com>
Date:   Tue Oct 25 23:30:27 2016 -0700

    shortcuts: add ctrl+shift+r for rename symbol

 libide/keybindings/ide-shortcuts-window.ui |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/libide/keybindings/ide-shortcuts-window.ui b/libide/keybindings/ide-shortcuts-window.ui
index 16ba72f..8288353 100644
--- a/libide/keybindings/ide-shortcuts-window.ui
+++ b/libide/keybindings/ide-shortcuts-window.ui
@@ -285,6 +285,14 @@
                 <property name="title" translatable="yes" context="shortcut window">Reindent line</property>
               </object>
             </child>
+            <child>
+              <object class="GtkShortcutsShortcut">
+                <property name="visible">1</property>
+                <property name="accelerator">&lt;ctrl&gt;&lt;shift&gt;r</property>
+                <property name="title" translatable="yes" context="shortcut window">Rename symbol</property>
+                <property name="subtitle" translatable="yes" context="shortcut window">Requires semantic 
language support</property>
+              </object>
+            </child>
           </object>
         </child>
         <child>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]