latest SmokedOut, hopefully starting work again

diff --git a/factor/jedit/FactorPlugin.java b/factor/jedit/FactorPlugin.java
index 6f47c65905f141a372712b08d14dd21d203bca7a..1b95031fa36e3ed43369a1c0ce65ba3b4f999eb1 100644 (file)
--- a/factor/jedit/FactorPlugin.java
+++ b/factor/jedit/FactorPlugin.java
@@ -178,16 +178,18 @@ public class FactorPlugin extends EditPlugin
                while(words != null)
                {
                        FactorWord w = (FactorWord)words.car;
-
-                       if(anywhere)
+                       if(w.name != null)
                        {
-                               if(w.name.indexOf(word) != -1)
-                                       completions.add(w);
-                       }
-                       else
-                       {
-                               if(w.name.startsWith(word))
-                                       completions.add(w);
+                               if(anywhere)
+                               {
+                                       if(w.name.indexOf(word) != -1)
+                                               completions.add(w);
+                               }
+                               else
+                               {
+                                       if(w.name.startsWith(word))
+                                               completions.add(w);
+                               }
                        }
 
                        words = words.next();