Uses of Class
edu.washington.cs.supple.customization.state.History

Packages that use History

edu.washington.cs.supple.customization.state

Uses of History in edu.washington.cs.supple.customization.state

Methods in edu.washington.cs.supple.customization.state that return History

History

State.getHistory() Returns the history of all previous modifications that were applied to this part of the UI.