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

FileTabView

class FileTabView(file: File, model: TuPrologIDEModel, ideController: TuPrologIDEController, initialText: String = "") : Tab

A Tab hosting a RichTextFX CodeArea editor for a single Prolog file, as added to the IDE's file tab pane by TuPrologIDEController whenever TuPrologIDEModel.onFileLoaded fires. It keeps the model's in-memory copy of the file (see TuPrologIDEModel.setFile) in sync with the editor's text on every keystroke, applies SyntaxColoring to the editor, and forwards caret/keyboard events to ideController so the status bar can be updated.

Constructors

constructor(file: File, model: TuPrologIDEModel, ideController: TuPrologIDEController, initialText: String = "")

Types

object Companion

Properties

lateinit var codeArea: CodeArea

var content: Node?

var contextMenu: ContextMenu?

open val cssMetaData: List<CssMetaData<out Styleable?, *>?>?

The File this tab's editor content is associated with in the model; setting it also renames the tab's label.

var graphic: Node?

var id: String?

var isClosable: Boolean

var isDisable: Boolean

var isDisabled: Boolean

var isSelected: Boolean

var onClosed: EventHandler<Event?>?

open var onCloseRequest: EventHandler<Event?>?

onSelectionChanged

var onSelectionChanged: EventHandler<Event?>?

val properties: ObservableMap<Any?, Any?>?

pseudoClassStates

val pseudoClassStates: ObservableSet<PseudoClass?>?

var style: String?

open val styleableNode: Node?

styleableParent

open val styleableParent: Styleable?

open val styleClass: ObservableList<String?>?

var tabPane: TabPane?

var text: String?

var tooltip: Tooltip?

open val typeSelector: String?

open var userData: Any?

var wholeText: String

The full text currently in the editor; setting it replaces the editor's content and updates the model's copy of file.

Functions

fun <E : Event?> addEventFilter(p0: EventType<E?>?, p1: EventHandler<in E?>?)

addEventHandler

fun <E : Event?> addEventHandler(p0: EventType<E?>?, p1: EventHandler<in E?>?)

buildEventDispatchChain

open fun buildEventDispatchChain(p0: EventDispatchChain?): EventDispatchChain?

closableProperty

fun closableProperty(): BooleanProperty?

contentProperty

fun contentProperty(): ObjectProperty<Node?>?

contextMenuProperty

fun contextMenuProperty(): ObjectProperty<ContextMenu?>?

disabledProperty

fun disabledProperty(): ReadOnlyBooleanProperty?

disableProperty

fun disableProperty(): BooleanProperty?

graphicProperty

fun graphicProperty(): ObjectProperty<Node?>?

open fun hasProperties(): Boolean

fun idProperty(): StringProperty?

notifyOperators

fun notifyOperators(operators: OperatorSet)

Updates the SyntaxColoring's keyword set to operators and re-highlights the editor immediately.

onClosedProperty

fun onClosedProperty(): ObjectProperty<EventHandler<Event?>?>?

onCloseRequestProperty

fun onCloseRequestProperty(): ObjectProperty<EventHandler<Event?>?>?

onKeyPressedOnCodeArea

fun onKeyPressedOnCodeArea(e: KeyEvent)

onKeyTypedOnCodeArea

fun onKeyTypedOnCodeArea(e: KeyEvent)

onMousePressedOnCodeArea

fun onMousePressedOnCodeArea(e: MouseEvent)

onSelectionChangedProperty

fun onSelectionChangedProperty(): ObjectProperty<EventHandler<Event?>?>?

onTabSelectionChanged

fun onTabSelectionChanged(e: Event)

removeEventFilter

fun <E : Event?> removeEventFilter(p0: EventType<E?>?, p1: EventHandler<in E?>?)

removeEventHandler

fun <E : Event?> removeEventHandler(p0: EventType<E?>?, p1: EventHandler<in E?>?)

selectedProperty

fun selectedProperty(): ReadOnlyBooleanProperty?

fun styleProperty(): StringProperty?

tabPaneProperty

fun tabPaneProperty(): ReadOnlyObjectProperty<TabPane?>?

fun textProperty(): StringProperty?

tooltipProperty

fun tooltipProperty(): ObjectProperty<Tooltip?>?

updateSyntaxColoring

fun updateSyntaxColoring()

Forces an immediate re-highlighting of the editor's current text, e.g. right after this tab is selected.