Exemplo n.º 1
0
 public void documentChanged(DocumentEvent event) {
   if (((DocumentEx) event.getDocument()).isInBulkUpdate()) {
     myFoldTree.clear();
   } else {
     updateCachedOffsets();
   }
 }
 public void doClearFoldRegions() {
   myGroups.clear();
   myFoldTree.clear();
 }
Exemplo n.º 3
0
 public void dispose() {
   myGroups.clear();
   myFoldTree.clear();
 }