Hello again! I pulled the latest git source and modified it so that all searches in the script/trigger/etc dialog are case-insensitive, as is the associated highlighting in the script's source code. I'm attaching a patch based off of my local repo. It also has two typos fixed that were causing warnings in my terminal at launch time (e.g. setBorderImage() was mis- typed as setBoderImage()). Let me know how it looks.
** Patch added: "Case-insensitive search patch made against b5a9a797cdf4287ad0055bf4189f9e7224a69502" https://bugs.launchpad.net/mudlet/+bug/615145/+attachment/2734777/+files/case-insensitive.patch -- You received this bug notification because you are a member of Mudlet Makers, which is subscribed to Mudlet. https://bugs.launchpad.net/bugs/615145 Title: Script editor search should be case-insensitive Status in Mudlet the MUD client: New Bug description: See title To manage notifications about this bug go to: https://bugs.launchpad.net/mudlet/+bug/615145/+subscriptions _______________________________________________ Mailing list: https://launchpad.net/~mudlet-makers Post to : [email protected] Unsubscribe : https://launchpad.net/~mudlet-makers More help : https://help.launchpad.net/ListHelp
