Searched refs:recordScenario (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DVisClientStateModel.java76 private boolean recordScenario = true; field in class:VisClientStateModel
233 return(recordScenario);
238 if (recordScenario != newValue) {
239 oldValue = recordScenario;
240 recordScenario = newValue;
241 propertyChangeSupport.firePropertyChange("recordScenario",

Completed in 29 milliseconds