tools, ui.tools: Rename complete-P"? to complete-pathname?
parent
07e223564f
commit
ef98b7af53
|
@ -169,4 +169,4 @@ PRIVATE>
|
|||
|
||||
: complete-COLOR:? ( tokens -- ? ) "COLOR:" complete-token? ;
|
||||
|
||||
: complete-P"? ( tokens -- ? ) "P\"" complete-token? ;
|
||||
: complete-pathname? ( tokens -- ? ) "P\"" complete-token? ;
|
||||
|
|
|
@ -95,7 +95,7 @@ M: color-completion row-color
|
|||
{ [ dup complete-vocab? ] [ 2drop vocab-completion ] }
|
||||
{ [ dup complete-CHAR:? ] [ 2drop char-completion ] }
|
||||
{ [ dup complete-COLOR:? ] [ 2drop color-completion ] }
|
||||
{ [ dup complete-P"? ] [ 2drop path-completion ] }
|
||||
{ [ dup complete-pathname? ] [ 2drop path-completion ] }
|
||||
[ drop <word-completion> ]
|
||||
} cond ;
|
||||
|
||||
|
|
Loading…
Reference in New Issue