<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_r00qcegnic6dvqvd17okc2ko62, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
import javax.swing.undo.UndoManager;

static <A extends JTextComponent> A jenableUndoRedo(final A textcomp) {
  swing {
    final new UndoManager undo;
    vm_generalWeakSubMap("Undo Managers").put(undo, true);
    textcomp.getDocument().addUndoableEditListener(new UndoableEditListener() {
      public void undoableEditHappened(UndoableEditEvent evt) {
        undo.addEdit(evt.getEdit());
      }
    });
    
    textcomp.getActionMap().put("Undo", abstractAction("Undo", r {
      if (undo.canUndo()) undo.undo()
    }));
    textcomp.getActionMap().put("Redo", abstractAction("Redo", r {
      if (undo.canRedo()) undo.redo()
    }));
    textcomp.getInputMap().put(KeyStroke.getKeyStroke("control Z"), "Undo");
    textcomp.getInputMap().put(KeyStroke.getKeyStroke("control Y"), "Redo");
  }
  ret textcomp;
}