Ignore:
Timestamp:
07/31/08 15:18:29 (16 years ago)
Author:
ra33
Message:

Made a few minor changes...

Also

For interactive widgets the border will not be selected if the user is inside the enclosed area

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/expeditee/gui/FrameIO.java

    r176 r179  
    267267                                if (next.startsWith("T")) {
    268268                                        String toSearch = next.substring(2);
    269                                         if (toSearch.toLowerCase().contains(toSearch))
     269                                        if (toSearch.toLowerCase().contains(pattern))
    270270                                                results.add(toSearch);
    271271                                }
Note: See TracChangeset for help on using the changeset viewer.