steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ui.tools.error-list: Rename error-list-gadget.

db4
Doug Coleman 2013-03-23 17:14:04 -07:00
parent eb20c5e22e
commit fb4eb84f7c
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
basis/ui/tools/error-list/error-list.factor
View File

@ -182,14 +182,14 @@ M: error-list-gadget focusable-child*
{ T{ key-down f f "F1" } error-list-help }
} define-command-map
MEMO: error-list-gadget ( -- gadget )
MEMO: get-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* ;
[ get-error-list-gadget eq? ] find-window
[ raise-window ] [ get-error-list-gadget "Errors" open-status-window ] if* ;
\ show-error-list H{ { +nullary+ t } } define-command