1 33 34 package edu.rice.cs.drjava.model; 35 36 import java.util.List ; 37 38 67 public interface SingleDisplayModel extends GlobalModel { 68 71 public OpenDefinitionsDocument getActiveDocument(); 72 73 76 public void setActiveDocument(OpenDefinitionsDocument doc); 77 78 79 public void refreshActiveDocument(); 80 81 82 public java.awt.Container getDocCollectionWidget(); 83 84 85 public void setActiveNextDocument(); 86 87 88 public void setActivePreviousDocument(); 89 90 95 public boolean closeFiles(List <OpenDefinitionsDocument> docList); 96 97 public void setActiveFirstDocument(); 98 99 public void dispose(); 100 101 102 public void disposeExternalResources(); 103 104 } 108 | Popular Tags |