ui.gadgets.panes: set background color of labels to page-color
parent
9f49139057
commit
06eb14573b
|
@ -259,7 +259,9 @@ M: pane-block-stream dispose
|
||||||
unnest-pane-stream write-gadget ;
|
unnest-pane-stream write-gadget ;
|
||||||
|
|
||||||
M: pane-stream make-block-stream
|
M: pane-stream make-block-stream
|
||||||
pane-block-stream new-nested-pane-stream ;
|
[ pane-block-stream new-nested-pane-stream ]
|
||||||
|
[ drop page-color swap at* [ background associate ] when ]
|
||||||
|
2bi [ <style-stream> ] when* ;
|
||||||
|
|
||||||
! Tables
|
! Tables
|
||||||
: apply-table-gap-style ( style grid -- style grid )
|
: apply-table-gap-style ( style grid -- style grid )
|
||||||
|
|
Loading…
Reference in New Issue