ide/it.unibo.tuprolog.ui.gui/CustomTab

CustomTab

data class CustomTab(val tab: Tab, val modelConfigurator: ModelConfigurator)

A user-defined tab to be added to the tuProlog IDE's side tab pane (see TuPrologIDEBuilder.customTab), paired with a modelConfigurator that is invoked once, when the IDE starts, to let the tab hook itself up to the IDE's TuPrologIDEModel (e.g. subscribing to solver events, or loading extra libraries).

If tab's Tab.getId matches the id of a tab already present in the IDE, tab replaces it instead of being appended (see TuPrologIDEController.addTab).

Constructors

CustomTab

constructor(tab: Tab, modelConfigurator: ModelConfigurator)

Properties

modelConfigurator

val modelConfigurator: ModelConfigurator

tab

val tab: Tab