mudlet-makers team mailing list archive

[Eldar Erathis <eldarerathis@xxxxxxxxx>]

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