I'm not a huge fan of using an icon and tooltip as the UI since it's not very obvious or keyboard friendly, but still it's better than the current no UI.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/2316#issuecomment-536211647