I strongly believe that micro is on the way to become defacto standard editor in linux and it pains me that some defaults are not as general use friendly as they could be.
Searching for something only to realize 30 seconds later that the string you were looking for had capital first letter is as annoying as forgetting to write sudo. Except it could by default be avoided.
I think that except of vim and emacs every other popular editor goes with case insensitive ctrl+f search.
notepad, notepad++, sublimetext, vscode, atom, nano, brackets, geany, kate, gedit,...
Can micro join the rank of the sane editors?
I will think about changing the default value of ignorecase to true if this would indeed be more consistent with other editors. Do you think this is worth changing the default for? People can let me know with thumbs up/thumbs down on this comment.
Come on man, we know it will end up for months untouched among the hundreds issues... forgotten, just like #1785
This really is not that difficult decision IMO.
If you want I can go and check some editors if it makes the decision easier.
like from this article these 21
I went and start checking, and even emacs is case insensitive, but I got bored and annoyed when lime and pico were no in repos, or on AUR, and when jed would not launch...
but I would bet that not counting vim based ones, there would be max 1 other text editor, and very likely 0.
Fair enough, I don't think this change has any negative side effects so I'll go ahead and do it.
Most helpful comment
I will think about changing the default value of
ignorecaseto true if this would indeed be more consistent with other editors. Do you think this is worth changing the default for? People can let me know with thumbs up/thumbs down on this comment.