Micro: Default setting for search to ignore case in ctrl+f

Created on 3 Nov 2020  Â·  3Comments  Â·  Source: zyedidia/micro

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?

Most helpful comment

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.

All 3 comments

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

  1. Vi/Vim Linux Editor
  2. Gedit
  3. Nano Editor
  4. GNU Emacs
  5. Kate/Kwrite
  6. Lime Text
  7. Pico Editor
  8. Jed Editor
  9. gVim Editor
  10. Geany Editor
  11. Leaf Pad
  12. Bluefish
  13. Atom
  14. VSCode
  15. Light Table
  16. Medit Text Editor
  17. Neovim – Vim-based Text Editor
  18. Notepad++
  19. Kakoune Code Editor
  20. Micro – Terminal-based Text Editor
  21. Brackets Text Editor

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.

Was this page helpful?
0 / 5 - 0 ratings

Related issues

Bigguy34 picture Bigguy34  Â·  3Comments

aerth picture aerth  Â·  4Comments

handicraftsman picture handicraftsman  Â·  4Comments

johnmbaughman picture johnmbaughman  Â·  3Comments

Mohamed3on picture Mohamed3on  Â·  3Comments