ui.tools.error-list: fix breakage if image is saved and restored with an open error list
parent
bcf6d83a8f
commit
1a94ce5927
|
@ -15,5 +15,4 @@ M: updater errors-changed
|
|||
f <model> (error-list-model) set-global
|
||||
(error-list-model) get-global 100 milliseconds <delay> error-list-model set-global
|
||||
updater add-error-observer
|
||||
] "ui.tools.error-list" add-startup-hook
|
||||
|
||||
] "tools.errors.model" add-startup-hook
|
||||
|
|
|
@ -186,6 +186,8 @@ MEMO: error-list-gadget ( -- gadget )
|
|||
error-list-model get-global [ drop all-errors ] <arrow>
|
||||
<error-list-gadget> ;
|
||||
|
||||
[ \ error-list-gadget reset-memoized ] "ui.tools.error-list" add-startup-hook
|
||||
|
||||
: show-error-list ( -- )
|
||||
[ error-list-gadget eq? ] find-window
|
||||
[ raise-window ] [ error-list-gadget "Errors" open-status-window ] if* ;
|
||||
|
|
Loading…
Reference in New Issue