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

[js361014]

![geany_search_bar](https://user-images.githubusercontent.com/37348338/61344594-1420f680-a852-11e9-8844-340d3b259b1f.png)

You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany/pull/2220

-- Commit Summary --

  * Replace search dialog with search bar

-- File Changes --

    M src/callbacks.c (2)
    M src/editor.c (6)
    M src/keybindings.c (5)
    M src/notebook.c (290)
    M src/search.c (24)
    M src/search.h (6)
    M src/ui_utils.c (31)
    M src/ui_utils.h (4)

-- Patch Links --

https://github.com/geany/geany/pull/2220.patch
https://github.com/geany/geany/pull/2220.diff

-- 
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190716/8d81e4ee/attachment.html>