listener: don't crash if we forget the current vocab. Fixes #259.
parent
2d94935d1f
commit
66d19d7e1a
|
|
@ -12,8 +12,8 @@ GENERIC: stream-read-quot ( stream -- quot/f )
|
||||||
GENERIC# prompt. 1 ( stream prompt -- )
|
GENERIC# prompt. 1 ( stream prompt -- )
|
||||||
|
|
||||||
: prompt ( -- str )
|
: prompt ( -- str )
|
||||||
current-vocab name>> auto-use? get [ " - auto" append ] when
|
manifest get current-vocab>> [ name>> ] [ "" ] if*
|
||||||
"( " " )" surround ;
|
auto-use? get [ " - auto" append ] when "( " " )" surround ;
|
||||||
|
|
||||||
M: object prompt.
|
M: object prompt.
|
||||||
nip H{ { background T{ rgba f 1 0.7 0.7 1 } } } format bl
|
nip H{ { background T{ rgba f 1 0.7 0.7 1 } } } format bl
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue