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
ActivityTableModelEditor(columns: Array<ColumnInfo<EditableDatum<T>, *>>, itemEditor: CollectionItemEditor<EditableDatum<T>>, emptyText: String, emptySubText: String, isCopyable: (T) -> Boolean = { true })
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 emptySubText: String
the instruction to display when the table is empty |
fun addChangeListener(listener: () -> Unit): Unit
Adds a listener that is called whenever this table is updated. |
|
open fun createComponent(): JPanel
Creates a new |
const val DEFAULT_STATE: Boolean
Whether newly added data are active by default. |
class DictionaryTable : ActivityTableModelEditor<Dictionary>
An editable table for selecting and editing Dictionaries. |
|
class SymbolSetTable : ActivityTableModelEditor<SymbolSet>
An editable table for selecting and editing SymbolSets. |