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

Help search in UI bug

slava 2006-10-06 08:20:36 +00:00
parent 648449b026
commit fab5ec98f2
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
TODO.FACTOR.txt
View File

@ -11,6 +11,7 @@
- better help result ranking - better help result ranking
- minibuffer should show a title - minibuffer should show a title
- clean up listener's minibuffer-related code - clean up listener's minibuffer-related code
- help search looks funny
+ ui: + ui:

2
library/ui/tools/search.factor
View File

@ -68,7 +68,7 @@ M: live-search focusable-child* live-search-field ;
: <help-search> ( string action -- gadget ) : <help-search> ( string action -- gadget )
\ first add* \ first add*
[ search-help ] [ search-help ]
[ [ second ($link) ] make-pane ] [ [ first ($link) ] make-pane ]
<live-search> ; <live-search> ;
: file-completion. ( pair -- ) : file-completion. ( pair -- )