[gedit] Shortcuts window: remove a shortcut that come from gedit-plugins
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] Shortcuts window: remove a shortcut that come from gedit-plugins
- Date: Mon, 6 Apr 2020 15:48:27 +0000 (UTC)
commit 295a01dbff853d1769a96f208e45c775487a522d
Author: Sébastien Wilmet <swilmet gnome org>
Date: Mon Apr 6 17:42:38 2020 +0200
Shortcuts window: remove a shortcut that come from gedit-plugins
Ctrl+J comes from the Join/Split Lines plugin that is part of the
gedit-plugins repo (not this one). So when the plugin is not installed
or not activated, Ctrl+J doesn't work.
The Join/Split Lines's keyboard shortcuts are documented in the user
manual of gedit-plugins (in Mallard). There is also Ctrl+Shift+J to
split a line, which was not listed in the Shortcuts window.
gedit/resources/ui/gedit-shortcuts.ui | 7 -------
1 file changed, 7 deletions(-)
---
diff --git a/gedit/resources/ui/gedit-shortcuts.ui b/gedit/resources/ui/gedit-shortcuts.ui
index e4a4159e2..e7b46b383 100644
--- a/gedit/resources/ui/gedit-shortcuts.ui
+++ b/gedit/resources/ui/gedit-shortcuts.ui
@@ -348,13 +348,6 @@
<property name="title" translatable="yes" context="shortcut window">Delete current
line</property>
</object>
</child>
- <child>
- <object class="GtkShortcutsShortcut">
- <property name="visible">1</property>
- <property name="accelerator"><ctrl>J</property>
- <property name="title" translatable="yes" context="shortcut window">Join selected
lines</property>
- </object>
- </child>
<child>
<object class="GtkShortcutsShortcut">
<property name="visible">1</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]