Thanks to Colomban Wendling for reporting the issue and fixing it 7 years ago ;-)
Fixes #731. You can view, comment on, or merge this pull request online at: https://github.com/geany/geany-plugins/pull/1459 -- Commit Summary -- * overview: disable focus of the overview widget -- File Changes -- M overview/overview/overviewscintilla.c (2) -- Patch Links -- https://github.com/geany/geany-plugins/pull/1459.patch https://github.com/geany/geany-plugins/pull/1459.diff -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1459 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany-plugins/pull/[email protected]>
