[Github-comments] [geany/geany] Replace search dialog with search bar (#2220)

Fri May 6 02:42:05 UTC 2022

@js361014 pushed 1 commit.

e0e0257ca3f683db04811b4b0c6566b64ac331cc  Add search bar alongside with search dialog

-- 
View it on GitHub:
https://github.com/geany/geany/pull/2220/files/fecd256af2bd3707e7498380b03b8af295cd515f..e0e0257ca3f683db04811b4b0c6566b64ac331cc
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/pull/2220/push/9808944140 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20220505/2f6dfa55/attachment.htm>