[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]