From 75d5a8a8f92736015be24888a0ac4a4949dd26fb Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Wed, 27 May 2020 09:51:01 -0700 Subject: [PATCH] ui.gadgets.tables: cleanup docs for $slots. --- basis/ui/gadgets/tables/tables-docs.factor | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/basis/ui/gadgets/tables/tables-docs.factor b/basis/ui/gadgets/tables/tables-docs.factor index b8a5d5c9d5..2933c61864 100644 --- a/basis/ui/gadgets/tables/tables-docs.factor +++ b/basis/ui/gadgets/tables/tables-docs.factor @@ -23,9 +23,9 @@ $nl ARTICLE: "ui.gadgets.tables.selection" "Table row selection" "A few slots in the table gadget concern row selection:" { $slots - { "selection" { " - if set to a model, the values of the currently selected row or rows, as determined by a " { $link row-value } " call to the renderer, is stored in this model. See " { $link "models" } "." } } - { "selection-index" { " - if set to a model, the indices of the currently selected rows." } } - { "selection-required?" { " - if set to a true value, the table ensures that some row is always selected, if the model is non-empty. If set to " { $link f } ", a state where nothing is selected is permitted to occur. The default is " { $link f } "." } } + { "selection" { "if set to a model, the values of the currently selected row or rows, as determined by a " { $link row-value } " call to the renderer, is stored in this model. See " { $link "models" } "." } } + { "selection-index" { "if set to a model, the indices of the currently selected rows." } } + { "selection-required?" { "if set to a true value, the table ensures that some row is always selected, if the model is non-empty. If set to " { $link f } ", a state where nothing is selected is permitted to occur. The default is " { $link f } "." } } } "Some words for row selection:" { $subsections