mudlet-makers team mailing list archive

[Vadim Peretokin <vperetokin@xxxxxxxxx>]

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