Ejemplos de Undo.next en Java

Ejemplo n.º 1

Archivo: BaseXEditor.java Proyecto: godmar/basex

 /** Redoes the text. */
 final void redo() {
   if (undo == null) return;
   text = new BaseXTextTokens(undo.next());
   rend.setText(text);
   text.pos(undo.cursor());
   text.setCaret();
 }