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
