[gnome-builder] shortcuts: add ctrl+shift+r for rename symbol
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc: 
- Subject: [gnome-builder] shortcuts: add ctrl+shift+r for rename symbol
- Date: Wed, 26 Oct 2016 06:30:44 +0000 (UTC)
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"><ctrl><shift>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]