Hey there! Thanks for helping Mudlet improve. 🌟

Test versions

You can directly test the changes here:

• linux: https://make.mudlet.org/snapshots/b6d5b3/Mudlet-4.5.2-testing-PR3415-55b5e23-linux-x64.AppImage.tar
• osx: https://make.mudlet.org/snapshots/ce8edf/Mudlet-4.5.2-testing-PR3415-55b5e23.dmg
• windows: https://make.mudlet.org/snapshots/35b587/Mudlet-4.5.2-testing-PR3415-55b5e234-windows.zip

No need to install anything - just unzip and run.
Let us know if it works well, and if it doesn't, please give details.

I agree with the default to off - but could it be more context-sensitive and go into the search options we already have? It'll be easier to find and change there.

I agree with the default to off - but could it be more context-sensitive and go into the search options we already have? It'll be easier to find and change there.

I wasn't aware that we HAD any search options already. I don't see them in Profile Preferences. I was a little unsure about whether Editor was the right place for it, but I was initially just thinking of it as options for Edbee, but IMO the tab is broader than that, including anything in the entire Script Editor itself.

Actually, I think I've found you what you mean. Although, I think it's a bad sign as far as visibility goes if there are options that even someone that uses the program extensively(and contributes to it) wasn't aware of it in the first place...

This guy?

I suppose we COULD put it there instead, but I'm inclined to think that the number of people aware of the Case Sensitivity option in the first place is probably very low. I don't think that icon does a good job communicating that there are options to set. A "..." or gear icon would be more informative, I think. Additionally, the Case Sensitivity option is NOT saved between sessions, and I think that this particular option is appropriate for saving in the profile.

It should be saved between sessions for sure, it'd be quite annoying if it didn't.

As for the icon - I don't mind changing it to something more intuitive. Ask around to see if nobody else knew what it did?

I knew, but should not be the yardstick by which this is measured, as I know about a lot of things that other people are surprised to hear.

Well I put the option there because I'd been using Qt Creator for years and that is where they put a number of options:

Have a look at (QAction) dlgTriggerEditor::mpAction_searchCaseSensitive (and the uncoded for yet mpAction_searchWholeWords and mpAction_searchRegExp) - that option is NOT preserved between sessions - as it is wasn't worth the extra coding that would take IMVHO. Also you might want to consider (void) dlgTriggerEditor::createSearchOptionIcon() as you will need to create some more icons - I suggest that you call the option ignore variables and looks like the symbol we use for "Variable" with a line through them - that graphic will need to be combined with the one for case sensitive (:/icons/searchOptions-caseSensitive.png) for the case for both options being enabled and then each of them will need some white-space on one side so that the combination is the same width as either of them individually (or the red or grey magnifying glass binoculars icons) - so the remainder of the QLineEdit does not get offset by different amounts when different options are set/unset.

Hell, we even put in the clear button that shows up when there is something in the QLineEdit on the right hand side, just like Qt Creator:

@dicene Did you want to finish this up? It's a popular request - otherwise I'm happy to complete it

Requested changes made in another branch, this is now superceded by #3543.