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

[Thomas Martitz]

> Search and replace dialog and search dialog are now different dialogs. I guess search bar and replace bar and search bar could be separated as well (obviously, they can use some same functions).

Err, yes, you are right. I didn't have enough coffee it seems. So the bars should be separate as well (thus can be a separate PR). Combining the dialogs (and consequently the bars) is a different topic then.

-- 
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/2220#issuecomment-518663857
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190806/12d853d3/attachment.html>