fixes to the undo, remove thumbs.db in dist

This commit is contained in:
benfry
2005-05-08 15:31:30 +00:00
parent e6dac75864
commit d311b04bd3
7 changed files with 14 additions and 2 deletions
+2
View File
@@ -237,6 +237,7 @@ public class Editor extends JFrame
document.addUndoableEditListener(new UndoableEditListener() {
public void undoableEditHappened(UndoableEditEvent e) {
if (undo != null) {
//System.out.println(e.getEdit());
undo.addEdit(e.getEdit());
undoAction.updateUndoState();
redoAction.updateRedoState();
@@ -951,6 +952,7 @@ public class Editor extends JFrame
public void setText(String currentProgram,
int selectionStart, int selectionEnd,
UndoManager currentUndo) {
//System.out.println("setting text, changing undo");
this.undo = null;
//if (discardUndo) undo.discardAllEdits();