From 98a8230d1cdd424b0546a15bf546cfc79eae6b73 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Thu, 20 Sep 2012 17:54:01 -0700 Subject: [PATCH] ui.gadgets.tables: fix stack effect names. --- basis/ui/gadgets/tables/tables.factor | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/basis/ui/gadgets/tables/tables.factor b/basis/ui/gadgets/tables/tables.factor index a6268af901..9c6dcdfd4a 100644 --- a/basis/ui/gadgets/tables/tables.factor +++ b/basis/ui/gadgets/tables/tables.factor @@ -185,10 +185,10 @@ M: table layout* dup renderer>> column-alignment [ ] [ column-widths>> length 0 ] ?if ; -:: row-font ( row ind table -- font ) +:: row-font ( row index table -- font ) table font>> clone row table renderer>> row-color [ >>foreground ] when* - ind table selection-index>> value>> = + index table selection-index>> value>> = [ table selection-color>> >>background ] when ; : draw-columns ( columns widths alignment font gap -- ) @@ -227,7 +227,7 @@ M: table pref-dim* [ compute-column-widths drop ] keep [ line-height ] [ control-value length ] bi * 2array ; -: nth-row ( row table -- value/f ? ) +: nth-row ( index table -- value/f ? ) over [ control-value nth t ] [ 2drop f f ] if ; PRIVATE>