[Github-comments] [geany] Added keybindings for custom commands 4-9 (#858)

Matthew Brush notifications at xxxxx
Thu Jan 21 03:40:48 UTC 2016


> because the Geany keybindings are searched before the plugin ones

If you mean it searches _default_ Geany keybindings before _customized_ plugin ones, then yeah, that's definitively a bug then. It should do:

1. Customized core keybindings
2. Customized plugin keybindings
3. Default core keybindings
4. Default plugin keybindings

One could argue whether core or plugin keybindings should be used first, but nothing the user has customized (ie. the stuff in home dir) should ever be overridden by system defaults, IMO.

---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/858#issuecomment-173441085
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160120/78b3854b/attachment.html>


More information about the Github-comments mailing list