Fix scrollbar thumb rendering
parent
47e076ec7c
commit
4339bda8cc
|
@ -6,6 +6,6 @@ IN: ui.gadgets.icons
|
||||||
TUPLE: icon < gadget ;
|
TUPLE: icon < gadget ;
|
||||||
|
|
||||||
: <icon> ( image-name -- icon )
|
: <icon> ( image-name -- icon )
|
||||||
icon new swap <image-pen> >>interior ;
|
icon new swap <image-pen> t >>fill? >>interior ;
|
||||||
|
|
||||||
M: icon pref-dim* dup interior>> pen-pref-dim ;
|
M: icon pref-dim* dup interior>> pen-pref-dim ;
|
Loading…
Reference in New Issue