[ jEdit-devel ] undo/redo and swing


Thread view