this way the user only has to press enter in the 'search not found' dialog to wrap search
https://github.com/geany/geany/pull/2109
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.