I feel most users will prefer to use search bar instead of search dialog except those who got really accustomed to the old one. Advantages of search bar over search dialog: -it doesn't mask source code in editor -every tab has its own search bar, so we can search different texts on different tabs at the same time -counting and marking occurrences on live while typing -wider search input I guess search bar will replace search dialog in the future.
-- 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-512686843
