Changeset 138

Timestamp:

10/14/02 23:38:32 (21 years ago)

Author:

piso

Message:

protected Shell(String shellCommand, Mode mode)

File:

• trunk/j/src/org/armedbear/j/Shell.java (modified) (2 diffs)

trunk/j/src/org/armedbear/j/Shell.java

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: Shell.java,v 1.8 2002-10-13 17:00:14 piso Exp $
+ * $Id: Shell.java,v 1.9 2002-10-14 23:38:32 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -84 +84 @@
         if (shellCommand.indexOf("tcsh") >= 0)
             promptIsStderr = false;
+    }
+    
+    protected Shell(String shellCommand, Mode mode)
+    {
+        initializeUndo();
+        type = TYPE_SHELL;
+        this.shellCommand = shellCommand;
+        this.mode = mode;
+        formatter = mode.getFormatter(this);
+        initializeHistory();
+        setInitialized(true);
     }