Ahh thank you for your response. Yes that is what it appeared to be but some items that I know I did not change were bold which made me question this. Not sure if true / possible but maybe plugins I was testing maybe could remove default hotkeys and use them for themselves? Either way, thank you again good to know.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/discussions/4398#discussioncomment-14194059 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/repo-discussions/4398/comments/14194...@github.com>
