issue #358: rename no-current-vocab
parent
f7e153c075
commit
2f167560f1
|
@ -86,10 +86,10 @@ PRIVATE>
|
||||||
[ set-current-vocab ] dip call
|
[ set-current-vocab ] dip call
|
||||||
] with-variable ; inline
|
] with-variable ; inline
|
||||||
|
|
||||||
TUPLE: no-current-vocab ;
|
TUPLE: no-current-vocab-error ;
|
||||||
|
|
||||||
: no-current-vocab ( -- vocab )
|
: no-current-vocab ( -- vocab )
|
||||||
\ no-current-vocab boa
|
\ no-current-vocab-error boa
|
||||||
{ { "Define words in scratchpad vocabulary" "scratchpad" } }
|
{ { "Define words in scratchpad vocabulary" "scratchpad" } }
|
||||||
throw-restarts dup set-current-vocab ;
|
throw-restarts dup set-current-vocab ;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue