Personally I think I would actually use both options, thats why I suggested the find dialog. I do lot of find, edit, find next, edit, find next, edit ... but I can see the other case is also useful, everyone's use-case is different. So why not make it more flexible, why force users to decide one use-case or the other? Flexibility makes it a win for everybody.
If it not on the find dialog, we should get out of the habit of putting everything in the "various" prefs, there is space in General->Miscellaneous and it already has search settings. So, as was originally proposed, thats where it should go if its not in the dialog.
—
Reply to this email directly or view it on GitHub.