Ignore:
Timestamp:
07/28/08 15:08:13 (16 years ago)
Author:
ra33
Message:

Added faster versions of search frameset

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/expeditee/gui/FrameMouseActions.java

    r156 r162  
    797797                                        refreshHighlights();
    798798                                }
     799                                FrameGraphics.requestRefresh(true);
    799800                                return;
    800801                                // otherwise, anchor the items
Note: See TracChangeset for help on using the changeset viewer.