ui: change some places to call safe-summary.
parent
0f1a89c7cd
commit
efe2926d8e
|
@ -10,7 +10,8 @@ IN: inspector
|
||||||
|
|
||||||
SYMBOL: +number-rows+
|
SYMBOL: +number-rows+
|
||||||
|
|
||||||
: print-summary ( obj -- ) [ summary ] keep write-object ;
|
: print-summary ( obj -- )
|
||||||
|
[ safe-summary ] keep write-object ;
|
||||||
|
|
||||||
<PRIVATE
|
<PRIVATE
|
||||||
|
|
||||||
|
|
|
@ -26,4 +26,4 @@ IN: ui.gadgets.status-bar
|
||||||
open-world-window ;
|
open-world-window ;
|
||||||
|
|
||||||
: show-summary ( object gadget -- )
|
: show-summary ( object gadget -- )
|
||||||
[ [ summary ] [ "" ] if* ] dip show-status ;
|
[ [ safe-summary ] [ "" ] if* ] dip show-status ;
|
||||||
|
|
|
@ -83,7 +83,7 @@ M: error-renderer row-columns
|
||||||
[ error-type error-icon ]
|
[ error-type error-icon ]
|
||||||
[ line#>> [ number>string ] [ "" ] if* ]
|
[ line#>> [ number>string ] [ "" ] if* ]
|
||||||
[ asset>> [ unparse-short ] [ "" ] if* ]
|
[ asset>> [ unparse-short ] [ "" ] if* ]
|
||||||
[ error>> summary ]
|
[ error>> safe-summary ]
|
||||||
} cleave
|
} cleave
|
||||||
] output>array ;
|
] output>array ;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue