Changeset 153
- Timestamp:
- 10/16/02 02:00:48 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/j/src/org/armedbear/j/Shell.java
r150 r153 3 3 * 4 4 * Copyright (C) 1998-2002 Peter Graves 5 * $Id: Shell.java,v 1.1 2 2002-10-15 16:27:31piso Exp $5 * $Id: Shell.java,v 1.13 2002-10-16 02:00:48 piso Exp $ 6 6 * 7 7 * This program is free software; you can redistribute it and/or … … 45 45 protected Shell() 46 46 { 47 initializeUndo();48 47 type = TYPE_SHELL; 49 48 mode = Editor.getModeList().getMode(SHELL_MODE); 50 49 formatter = mode.getFormatter(this); 51 initializeHistory();52 50 setInitialized(true); 53 51 } … … 63 61 protected Shell(String shellCommand, Mode mode) 64 62 { 65 initializeUndo();66 63 type = TYPE_SHELL; 67 64 this.shellCommand = shellCommand; 68 65 this.mode = mode; 69 66 formatter = mode.getFormatter(this); 70 initializeHistory();71 67 setInitialized(true); 72 68 }
Note: See TracChangeset
for help on using the changeset viewer.