Ibis showed me this, which would come in really useful however, is there
anyway to catch an undo event?
fl.getDocumentDOM().beginTransaction("blah");
fl.getDocumentDOM().endTransaction();
because I need to redraw the screen when undo is called
Thanks!