I've applied the patch, and both the search and highlighting are working okay.
-- 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
