9899100101102103104105106107108
*/ public void run() { IStructuredTextUndoManager undoManager = _designer.getHTMLEditor() .getModel().getUndoManager(); if (_undo) { undoManager.undo(_designer); } else { undoManager.redo(_designer); } }