ui.tools.debugger: don't throw an error if world has no children
parent
be17ed9132
commit
2ad45a24b3
|
@ -60,7 +60,8 @@ M: debugger focusable-child*
|
|||
|
||||
GENERIC: error-in-debugger? ( error -- ? )
|
||||
|
||||
M: world-error error-in-debugger? world>> gadget-child debugger? ;
|
||||
M: world-error error-in-debugger?
|
||||
world>> children>> [ f ] [ first debugger? ] if-empty ;
|
||||
|
||||
M: object error-in-debugger? drop f ;
|
||||
|
||||
|
|
Loading…
Reference in New Issue