de.glossmaker.gloss.undo
Classes
UndoGlossStack