Fix pane-stream
parent
761f929de9
commit
cc1363e07a
|
@ -69,7 +69,7 @@ M: pane-stream stream-format
|
||||||
|
|
||||||
M: pane-stream stream-close drop ;
|
M: pane-stream stream-close drop ;
|
||||||
|
|
||||||
M: pane stream-flush drop ;
|
M: pane-stream stream-flush drop ;
|
||||||
|
|
||||||
M: pane-stream with-stream-style (with-stream-style) ;
|
M: pane-stream with-stream-style (with-stream-style) ;
|
||||||
|
|
||||||
|
@ -77,7 +77,7 @@ GENERIC: write-gadget ( gadget stream -- )
|
||||||
|
|
||||||
M: pane-stream write-gadget
|
M: pane-stream write-gadget
|
||||||
#! Print a gadget to the given pane.
|
#! Print a gadget to the given pane.
|
||||||
pane-current add-gadget ;
|
pane-stream-pane pane-current add-gadget ;
|
||||||
|
|
||||||
M: duplex-stream write-gadget
|
M: duplex-stream write-gadget
|
||||||
duplex-stream-out write-gadget ;
|
duplex-stream-out write-gadget ;
|
||||||
|
|
|
@ -191,10 +191,10 @@ presentation H{
|
||||||
[ pick pick >r >r -rot styled-pane r> r> rot ] map
|
[ pick pick >r >r -rot styled-pane r> r> rot ] map
|
||||||
] map styled-grid nip ;
|
] map styled-grid nip ;
|
||||||
|
|
||||||
M: pane with-stream-table
|
M: pane-stream with-stream-table
|
||||||
>r rot <pane-grid> r> print-gadget ;
|
>r rot <pane-grid> r> print-gadget ;
|
||||||
|
|
||||||
M: pane with-nested-stream
|
M: pane-stream with-nested-stream
|
||||||
>r styled-pane r> write-gadget ;
|
>r styled-pane r> write-gadget ;
|
||||||
|
|
||||||
! Stream utilities
|
! Stream utilities
|
||||||
|
|
|
@ -43,9 +43,19 @@ TUPLE: listener-gadget input output stack minibuffer use ;
|
||||||
|
|
||||||
C: listener-gadget ( -- gadget )
|
C: listener-gadget ( -- gadget )
|
||||||
dup init-listener {
|
dup init-listener {
|
||||||
{ [ <scrolling-pane> ] set-listener-gadget-output [ <scroller> ] 4/6 }
|
{
|
||||||
|
[ <scrolling-pane> ]
|
||||||
|
set-listener-gadget-output
|
||||||
|
[ <scroller> ]
|
||||||
|
4/6
|
||||||
|
}
|
||||||
{ [ <stack-display> ] f f 1/6 }
|
{ [ <stack-display> ] f f 1/6 }
|
||||||
{ [ <listener-input> ] set-listener-gadget-input [ <scroller> "Input" <labelled-gadget> ] 1/6 }
|
{
|
||||||
|
[ <listener-input> ]
|
||||||
|
set-listener-gadget-input
|
||||||
|
[ <scroller> "Input" <labelled-gadget> ]
|
||||||
|
1/6
|
||||||
|
}
|
||||||
} { 0 1 } make-track* ;
|
} { 0 1 } make-track* ;
|
||||||
|
|
||||||
M: listener-gadget focusable-child*
|
M: listener-gadget focusable-child*
|
||||||
|
@ -130,7 +140,7 @@ listener-gadget "Listener commands" {
|
||||||
{ "Send EOF" T{ key-down f { C+ } "d" } [ listener-eof ] }
|
{ "Send EOF" T{ key-down f { C+ } "d" } [ listener-eof ] }
|
||||||
{
|
{
|
||||||
"History"
|
"History"
|
||||||
T{ key-down f "UP" }
|
T{ key-down f { C+ } "h" }
|
||||||
[ show-history ]
|
[ show-history ]
|
||||||
}
|
}
|
||||||
{
|
{
|
||||||
|
|
Loading…
Reference in New Issue