Changeset 1142


Ignore:
Timestamp:
Jul 2, 2011, 6:59:41 PM (6 years ago)
Author:
joerg
Message:

created object for the rows of a document for more fine grained syncs

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/sce/component/SCESearch.java

    r1139 r1142  
    671671          if (!isVisible()) continue;
    672672
    673           // update document information
    674           if (documentChanged) updateDocument();
    675           if (documentChanged) continue;
    676 
    677           // search
    678673          try {
     674            // update document information
     675            if (documentChanged) updateDocument();
     676            if (documentChanged) continue;
     677
     678            // search
    679679            search(searchChanged);
    680680          } catch (Throwable ignored) {
     681            // unexpected error, inform user and continue
     682            ignored.printStackTrace();
     683
     684            try { sleep(500); } catch (InterruptedException _) {}
     685            searchChanged = true;
     686            documentChanged = true;
    681687          }
    682688        }
Note: See TracChangeset for help on using the changeset viewer.