public final class WorkingContextManager
extends java.lang.Object
Constructor and Description |
---|
WorkingContextManager(Project project) |
Modifier and Type | Method and Description |
---|---|
void |
clearContext() |
void |
enableUntil(Disposable disposable) |
java.io.File |
getContextFile() |
java.util.List<ContextInfo> |
getContextHistory() |
static WorkingContextManager |
getInstance(Project project) |
java.io.File |
getTaskFile() |
boolean |
hasContext(java.lang.String entryName) |
void |
loadContext(Element fromElement) |
void |
pack(int max,
int delta) |
void |
removeContext(java.lang.String name) |
void |
removeContext(Task task) |
void |
restoreContext(Task task) |
void |
saveContext(Element toElement) |
void |
saveContext(java.lang.String entryName,
java.lang.String comment) |
public WorkingContextManager(Project project)
public static WorkingContextManager getInstance(Project project)
public void enableUntil(Disposable disposable)
public void loadContext(Element fromElement)
public void saveContext(Element toElement)
public void clearContext()
public void saveContext(java.lang.String entryName, java.lang.String comment)
public boolean hasContext(java.lang.String entryName)
public void restoreContext(Task task)
public java.util.List<ContextInfo> getContextHistory()
public void removeContext(java.lang.String name)
public void removeContext(Task task)
public void pack(int max, int delta)
public java.io.File getContextFile()
public java.io.File getTaskFile()