abstract class ActivityTableModelEditor<T> : TableModelEditor<EditableDatum<T>>
A table that associates a certain data type with a checkbox.
columns - the columns of the table, excluding the activity column
itemEditor - describes what happens when a row is edited
emptyText - the text to display when the table is empty
emptySubText - the instruction to display when the table is empty
isCopyable - returns true if and only if the given datum can be copied
columnAdjuster - invoked on the list of columns (including the activity column) to allow adjusting their
properties
ActivityTableModelEditor(columns: Array<ColumnInfo<EditableDatum<T>, *>>, itemEditor: CollectionItemEditor<EditableDatum<T>>, emptyText: String, emptySubText: String, isCopyable: (T) -> Boolean = { true }, columnAdjuster: (List<TableColumn>) -> Unit = {})
A table that associates a certain data type with a checkbox. |
var activeData: Collection<T>
All data of which the checkbox is currently checked. |
|
var data: Collection<T>
All data currently in the table. |
|
val panel: JPanel
The panel in which the table editor is present. |
fun addChangeListener(listener: () -> Unit): Unit
Adds a listener that is called whenever this table is updated. |
|
fun createComponent(): JPanel
Creates a new |
const val DEFAULT_STATE: Boolean
Whether newly added data are active by default. |
class DictionaryTable : ActivityTableModelEditor<DictionaryReference>
An editable table for selecting and editing Dictionaries. |
|
class SymbolSetTable : ActivityTableModelEditor<SymbolSet>
An editable table for selecting and editing SymbolSets. |