Add min-dim slot to border gadgets
parent
bd5fb06cdf
commit
3dfae1781f
|
@ -7,7 +7,8 @@ IN: ui.gadgets.borders
|
||||||
TUPLE: border < gadget
|
TUPLE: border < gadget
|
||||||
{ size initial: { 0 0 } }
|
{ size initial: { 0 0 } }
|
||||||
{ fill initial: { 0 0 } }
|
{ fill initial: { 0 0 } }
|
||||||
{ align initial: { 1/2 1/2 } } ;
|
{ align initial: { 1/2 1/2 } }
|
||||||
|
{ min-dim initial: { 0 0 } } ;
|
||||||
|
|
||||||
: new-border ( child class -- border )
|
: new-border ( child class -- border )
|
||||||
new-gadget swap add-gadget ; inline
|
new-gadget swap add-gadget ; inline
|
||||||
|
@ -20,7 +21,8 @@ TUPLE: border < gadget
|
||||||
<border> { 1 1 } >>fill ;
|
<border> { 1 1 } >>fill ;
|
||||||
|
|
||||||
M: border pref-dim*
|
M: border pref-dim*
|
||||||
[ size>> 2 v*n ] [ gadget-child pref-dim ] bi v+ ;
|
[ [ size>> 2 v*n ] [ gadget-child pref-dim ] bi v+ ]
|
||||||
|
[ min-dim>> ] bi vmax ;
|
||||||
|
|
||||||
M: border baseline
|
M: border baseline
|
||||||
[ size>> second ] [ gadget-child baseline ] bi + ;
|
[ size>> second ] [ gadget-child baseline ] bi + ;
|
||||||
|
|
Loading…
Reference in New Issue