Changeset 114
- Timestamp:
- 10/12/02 00:39:42 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/j/src/org/armedbear/j/Display.java
r112 r114 3 3 * 4 4 * Copyright (C) 1998-2002 Peter Graves 5 * $Id: Display.java,v 1. 2 2002-10-12 00:06:39piso Exp $5 * $Id: Display.java,v 1.3 2002-10-12 00:39:42 piso Exp $ 6 6 * 7 7 * This program is free software; you can redistribute it and/or … … 1297 1297 return; 1298 1298 } 1299 else { 1300 if (editor.getLastCommand() != COMMAND_DOWN) { 1301 Log.debug("down calling addUndo(MOVE)"); 1302 editor.addUndo(SimpleEdit.MOVE); 1303 } else 1304 Log.debug("down lastCommand was DOWN"); 1305 } 1299 else if (editor.getLastCommand() != COMMAND_DOWN) 1300 editor.addUndo(SimpleEdit.MOVE); 1306 1301 } 1307 1302 final Line dotLine = editor.getDotLine();
Note: See TracChangeset
for help on using the changeset viewer.