GNOME Bugzilla – Bug 766945
Ctrl+D not shown in keyboard shortcuts list
Last modified: 2016-12-26 17:32:19 UTC
Ctrl + D is used to delete a line. Add that to keyboard shortcut list
Created attachment 328647 [details] [review] Bug 766945 - Ctrl+D not shown in keyboard shortcuts list Added ctrl+d in shortcuts list.
Review of attachment 328647 [details] [review]: ::: data/ui/ide-shortcuts-window.ui @@ -279,2 +279,5 @@ </object> </child> + <child> + <object class="GtkShortcutsShortcut"> + <property name="visible">1</property> use true instead of 1
Created attachment 328655 [details] [review] Bug 766945 - Ctrl+D not shown in keyboard shortcuts list Added ctrl+d in shortcuts list. https://bugzilla.gnome.org/show_bug.cgi?id=766945 Bug 766945 - Ctrl+D not shown in keyboard shortcuts list Used "true" instead of "1" for visibility.
(In reply to Christian Hergert from comment #2) > Review of attachment 328647 [details] [review] [review]: > > ::: data/ui/ide-shortcuts-window.ui > @@ -279,2 +279,5 @@ > </object> > </child> > + <child> > + <object class="GtkShortcutsShortcut"> > + <property name="visible">1</property> > > use true instead of 1 Hello! Its 1 for all child objects. Should i change it for them too? And any specific reason for using true instead of 1?
changed to true and pushed, thanks