Changeset 146
- Timestamp:
- 10/15/02 01:23:03 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/j/src/org/armedbear/j/Shell.java
r144 r146 3 3 * 4 4 * Copyright (C) 1998-2002 Peter Graves 5 * $Id: Shell.java,v 1.1 0 2002-10-15 01:02:55piso Exp $5 * $Id: Shell.java,v 1.11 2002-10-15 01:23:03 piso Exp $ 6 6 * 7 7 * This program is free software; you can redistribute it and/or … … 438 438 editor.eol(); 439 439 editor.insertLineSeparator(); 440 editor.getDotLine().setFlags(0); 440 441 if (needsRenumbering) 441 442 renumber();
Note: See TracChangeset
for help on using the changeset viewer.