ui.gadgets.panes: add gadget-alt-text
Provide a default implementation of write-gadget that writes plain text to a stream that doesn't support gadgets.db4
parent
ee721d1811
commit
4db4b3e171
|
@ -10,7 +10,7 @@ ui.gadgets.paragraphs ui.gadgets.incremental ui.gadgets.packs
|
||||||
ui.gadgets.menus ui.clipboards ui.gestures ui.traverse ui.render
|
ui.gadgets.menus ui.clipboards ui.gestures ui.traverse ui.render
|
||||||
ui.text ui.gadgets.presentations ui.gadgets.grids ui.gadgets.tracks
|
ui.text ui.gadgets.presentations ui.gadgets.grids ui.gadgets.tracks
|
||||||
ui.gadgets.icons ui.gadgets.grid-lines ui.baseline-alignment
|
ui.gadgets.icons ui.gadgets.grid-lines ui.baseline-alignment
|
||||||
colors io.styles ;
|
colors io.styles classes ;
|
||||||
FROM: io.styles => foreground background ;
|
FROM: io.styles => foreground background ;
|
||||||
IN: ui.gadgets.panes
|
IN: ui.gadgets.panes
|
||||||
|
|
||||||
|
@ -142,8 +142,16 @@ PRIVATE>
|
||||||
|
|
||||||
: <pane> ( -- pane ) f pane new-pane ;
|
: <pane> ( -- pane ) f pane new-pane ;
|
||||||
|
|
||||||
|
GENERIC: gadget-alt-text ( gadget -- string )
|
||||||
|
|
||||||
|
M: object gadget-alt-text
|
||||||
|
class-of name>> "( " " )" surround ;
|
||||||
|
|
||||||
GENERIC: write-gadget ( gadget stream -- )
|
GENERIC: write-gadget ( gadget stream -- )
|
||||||
|
|
||||||
|
M: object write-gadget
|
||||||
|
[ gadget-alt-text ] dip stream-write ;
|
||||||
|
|
||||||
M: filter-writer write-gadget
|
M: filter-writer write-gadget
|
||||||
stream>> write-gadget ;
|
stream>> write-gadget ;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue