steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

latest SmokedOut, hopefully starting work again

cvs
Slava Pestov 2004-09-19 01:47:12 +00:00
parent f7fe2598dd
commit 8e20bee820
1 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
factor/jedit/FactorPlugin.java
View File

@ -178,7 +178,8 @@ public class FactorPlugin extends EditPlugin
while(words != null)
{
FactorWord w = (FactorWord)words.car;
if(w.name != null)
{
if(anywhere)
{
if(w.name.indexOf(word) != -1)
@ -189,6 +190,7 @@ public class FactorPlugin extends EditPlugin
if(w.name.startsWith(word))
completions.add(w);
}
}
words = words.next();
}