#1254 Search case-*in*sensitive by default

[Anonymous]

About half a year ago, the default settings for the text search have changed. Now, when you first open the search bar, the search will be conducted case-sensitive. While in the search bar, I usually don't care about the case in the search string. So every time, the case-sensitive option kicks in, my searches yield no results anymore (because of non matching case) and I have to turn this off.

Please make the case-insensitive setting default again. Alternatively you can offer a configuration setting to change the behaviour.

Kind regards

[Tim Hoffmann]

The default for case sensitivity hasn't changed at least within the last three years.

Also it's saved in the settings. If you switch it off once, will always stay switched off except if you delete your settings.

[Tim Hoffmann]

Changed the default to case-insensitive.

hg 6508 (07d49baea515)

[Legge]

Note: The setting does not get saved. Every time I close Texstudio and open it again, it's set to it's default value again. This happens across all of my three machines.

I don't care really about the default value (although i think case insensetive is more sensible), but it should just get saved. When I edit the corresponding line in the texstudio.ini manually it works as expected.