ui.gadgets.table: mouse-color uses theme.
parent
6149bf5afc
commit
7d66c331db
|
@ -40,7 +40,7 @@ single-click?
|
||||||
{ gap initial: 2 }
|
{ gap initial: 2 }
|
||||||
column-widths total-width
|
column-widths total-width
|
||||||
focus-border-color
|
focus-border-color
|
||||||
{ mouse-color initial: COLOR: black }
|
mouse-color
|
||||||
column-line-color
|
column-line-color
|
||||||
selection-required?
|
selection-required?
|
||||||
selection-index
|
selection-index
|
||||||
|
@ -142,7 +142,7 @@ M: table layout*
|
||||||
|
|
||||||
: draw-moused-row ( table -- )
|
: draw-moused-row ( table -- )
|
||||||
dup mouse-index>> [
|
dup mouse-index>> [
|
||||||
dup mouse-color>> gl-color
|
dup mouse-color>> [ text-color ] unless* gl-color
|
||||||
dup mouse-index>> row-bounds gl-rect
|
dup mouse-index>> row-bounds gl-rect
|
||||||
] [ drop ] if ;
|
] [ drop ] if ;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue