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

UI work

cvs
Slava Pestov 2005-10-26 01:52:25 +00:00
parent 3205a72026
commit b1574b8152
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
TODO.FACTOR.txt
View File

@ -7,8 +7,8 @@
- [ ... is annoying - [ ... is annoying
perhaps on the last line of output, if a block doesn't fit, print perhaps on the last line of output, if a block doesn't fit, print
it anyway? it anyway?
- apropos: use new smarter completion? - fix first/last arrows
- fix buttons - deallocate textures and display lists
+ ui: + ui:

4
factor/ExternalFactor.java
View File

@ -255,10 +255,10 @@ public class ExternalFactor extends VocabularyLookup
switch(mode) switch(mode)
{ {
case COMPLETE_START: case COMPLETE_START:
predicate = "[ word-name swap head? ]"; predicate = "[ word-name [ swap head? ] completion? ]";
break; break;
case COMPLETE_ANYWHERE: case COMPLETE_ANYWHERE:
predicate = "[ word-name subseq? ]"; predicate = "[ word-name [ subseq? ] completion? ]";
break; break;
case COMPLETE_EQUAL: case COMPLETE_EQUAL:
predicate = "[ word-name = ]"; predicate = "[ word-name = ]";