Changeset 11

Timestamp:

10/01/02 17:31:52 (20 years ago)

Author:

piso

Message:

man(Editor, String): minor cleanup.

File:

• trunk/j/src/org/armedbear/j/ManMode.java (modified) (3 diffs)

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

@@ -3 +3 @@
  *
  * Copyright (C) 2000-2002 Peter Graves
- * $Id: ManMode.java,v 1.1.1.1 2002-09-24 16:07:44 piso Exp $
+ * $Id: ManMode.java,v 1.2 2002-10-01 17:31:52 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -169 +169 @@
                     return;
             File tempFile = Utilities.getTempFile();
-            Process process = null;
             String cmd = "man " + topic + " > " + tempFile.canonicalPath();
             String[] cmdarray = {"/bin/sh", "-c", cmd};
             try {
-                process = Runtime.getRuntime().exec(cmdarray);
+                Process process = Runtime.getRuntime().exec(cmdarray);
                 process.waitFor();
             }
@@ -185 +184 @@
                 editor.makeNext(man);
                 editor.switchToBuffer(man);
-                man.repaint();
             } else
                 editor.status("No entry");