Config notifications now also smaller.

This commit is contained in:
Fang 2017-11-17 13:47:16 +01:00
parent c05ca4a103
commit f6c574647d

View File

@ -1601,9 +1601,9 @@
(sh-note (weld "new " (~(cr-show cr cir) ~)))
?: ?=($remove -.dif)
(sh-note (weld "rip " (~(cr-show cr cir) ~)))
=. +>
(sh-note (weld " in " (~(cr-show cr cir) ~)))
%- sh-note
%+ weld
(weld ~(cr-phat cr cir) ": ")
?- -.dif
$source
%+ weld ?:(add.dif "onn " "off ")