keyboard-shortcut already exists and shortcut is collecting all sorts of cruft. I would propose that the latter becomes about app shortcuts in specific so we can remove the keyboard duplicates. If this rename happens, we should consider merging .desktop-files too
1 Answer
shortcut seems to be mostly synonymous with keyboard-shortcut
.desktop-files has also been merged to app-shortcuts
-
Also keyboard-shortcut should be merged into keyboard-shortcuts (or vice versa, as you prefer)– wolfOct 9, 2016 at 0:56