Changeset 124

Timestamp:

10/13/02 16:57:36 (21 years ago)

Author:

piso

Message:

Allow name to be null.

File:

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

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

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: History.java,v 1.1.1.1 2002-09-24 16:08:34 piso Exp $
+ * $Id: History.java,v 1.2 2002-10-13 16:57:36 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -41 +41 @@
         this.limit = limit;
         strings = new String[limit];
-        int i;
-        for (i = 0; i < limit; i++) {
-            String key = "history." + name + "." + String.valueOf(i);
-            String value = Editor.getSessionProperties().getStringProperty(key, null);
-            if (value == null)
-                break;
-            strings[i] = value;
+        if (name != null) {
+            SessionProperties sessionProperties = Editor.getSessionProperties();
+            int i;
+            for (i = 0; i < limit; i++) {
+                String key = "history." + name + "." + String.valueOf(i);
+                String value = sessionProperties.getStringProperty(key, null);
+                if (value == null)
+                    break;
+                strings[i] = value;
+            }
+            count = i;
         }
-        count = i;
         reset();
     }
@@ -60 +63 @@
     public void save()
     {
-        for (int i = 0; i < count; i++) {
-            if (strings[i] == null)
-                break;
-            String key = "history." + name + "." + String.valueOf(i);
-            Editor.getSessionProperties().setStringProperty(key, strings[i]);
+        if (name != null) {
+            SessionProperties sessionProperties = Editor.getSessionProperties();
+            for (int i = 0; i < count; i++) {
+                if (strings[i] == null)
+                    break;
+                String key = "history." + name + "." + String.valueOf(i);
+                sessionProperties.setStringProperty(key, strings[i]);
+            }
         }
     }