100101102103104105106107108109
IStructuredTextUndoManager undoManager = _designer.getHTMLEditor() .getModel().getUndoManager(); if (_undo) { undoManager.undo(_designer); } else { undoManager.redo(_designer); } } }