ui.gadgets.pane: rename pane-clear to clear-pane.
parent
53122102ee
commit
f72e79ae2e
|
@ -175,14 +175,14 @@ M: style-stream write-gadget
|
|||
: gadget. ( gadget -- )
|
||||
output-stream get print-gadget ;
|
||||
|
||||
: pane-clear ( pane -- )
|
||||
: clear-pane ( pane -- )
|
||||
clear-selection
|
||||
[ output>> clear-incremental ]
|
||||
[ current>> clear-gadget ]
|
||||
bi ;
|
||||
|
||||
: with-pane ( pane quot -- )
|
||||
[ [ scroll>top ] [ pane-clear ] [ <pane-stream> ] tri ] dip
|
||||
[ [ scroll>top ] [ clear-pane ] [ <pane-stream> ] tri ] dip
|
||||
with-output-stream* ; inline
|
||||
|
||||
: make-pane ( quot -- gadget )
|
||||
|
|
|
@ -310,7 +310,7 @@ M: listener-operation invoke-command ( target command -- )
|
|||
input>> interactor-eof ;
|
||||
|
||||
: clear-output ( listener -- )
|
||||
output>> pane-clear ;
|
||||
output>> clear-pane ;
|
||||
|
||||
\ clear-output H{ { +listener+ t } } define-command
|
||||
|
||||
|
|
Loading…
Reference in New Issue