Gjsify LogoGjsify Logo

Hierarchy

Index

Properties

acceptsTab?: boolean
appPaintable?: boolean
autoIndent?: boolean
backForwardList?: Ide.BackForwardList
backgroundPattern?: GtkSource.BackgroundPatternType

Draw a specific background pattern on the view.

borderWidth?: number
bottomMargin?: number

The bottom margin for text in the text view.

Note that this property is confusingly named. In CSS terms, the value set here is padding, and it is applied in addition to the padding from the theme.

Don't confuse this property with #GtkWidget:margin-bottom.

buffer?: Gtk.TextBuffer
canDefault?: boolean
canFocus?: boolean
child?: Gtk.Widget
count?: number
cursorVisible?: boolean
doubleBuffered?: boolean

Whether the widget is double buffered.

drawSpaces?: DrawSpacesFlags

Set if and how the spaces should be visualized.

For a finer-grained method, there is also the GtkSourceTag's #GtkSourceTag:draw-spaces property.

editable?: boolean
enableWordCompletion?: boolean
events?: Gdk.EventMask
expand?: boolean

Whether to expand in both directions. Setting this sets both #GtkWidget:hexpand and #GtkWidget:vexpand

focusOnClick?: boolean

Whether the widget should grab focus when it is clicked with the mouse.

This property is only relevant for widgets that can take focus.

Before 3.20, several widgets (GtkButton, GtkFileChooserButton, GtkComboBox) implemented this property individually.

fontDesc?: FontDescription
fontName?: string
hadjustment?: Gtk.Adjustment

Horizontal #GtkAdjustment of the scrollable widget. This adjustment is shared between the scrollable widget and its parent.

halign?: Gtk.Align

How to distribute horizontal space if widget gets extra space, see #GtkAlign

hasDefault?: boolean
hasFocus?: boolean
hasTooltip?: boolean

Enables or disables the emission of #GtkWidget::query-tooltip on widget. A value of %TRUE indicates that widget can have a tooltip, in this case the widget will be queried using #GtkWidget::query-tooltip to determine whether it will provide a tooltip or not.

Note that setting this property to %TRUE for the first time will change the event masks of the GdkWindows of this widget to include leave-notify and motion-notify events. This cannot and will not be undone when the property is set to %FALSE again.

heightRequest?: number
hexpand?: boolean

Whether to expand horizontally. See gtk_widget_set_hexpand().

hexpandSet?: boolean

Whether to use the #GtkWidget:hexpand property. See gtk_widget_get_hexpand_set().

highlightCurrentLine?: boolean
hscrollPolicy?: Gtk.ScrollablePolicy

Determines whether horizontal scrolling should start once the scrollable widget is allocated less than its minimum width or less than its natural width.

imModule?: string

Which IM (input method) module should be used for this text_view. See #GtkIMContext.

Setting this to a non-%NULL value overrides the system-wide IM module setting. See the GtkSettings #GtkSettings:gtk-im-module property.

indent?: number
indentOnTab?: boolean
indentStyle?: IndentStyle
indentWidth?: number

Width of an indentation step expressed in number of spaces.

inputHints?: Gtk.InputHints

Additional hints (beyond #GtkTextView:input-purpose) that allow input methods to fine-tune their behaviour.

inputPurpose?: Gtk.InputPurpose

The purpose of this text field.

This property can be used by on-screen keyboards and other input methods to adjust their behaviour.

insertMatchingBrace?: boolean
insertSpacesInsteadOfTabs?: boolean
isFocus?: boolean
justification?: Gtk.Justification
leftMargin?: number

The default left margin for text in the text view. Tags in the buffer may override the default.

Note that this property is confusingly named. In CSS terms, the value set here is padding, and it is applied in addition to the padding from the theme.

Don't confuse this property with #GtkWidget:margin-left.

margin?: number

Sets all four sides' margin at once. If read, returns max margin on any side.

marginBottom?: number

Margin on bottom side of widget.

This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from gtk_widget_set_size_request() for example.

marginEnd?: number

Margin on end of widget, horizontally. This property supports left-to-right and right-to-left text directions.

This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from gtk_widget_set_size_request() for example.

marginLeft?: number

Margin on left side of widget.

This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from gtk_widget_set_size_request() for example.

marginRight?: number

Margin on right side of widget.

This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from gtk_widget_set_size_request() for example.

marginStart?: number

Margin on start of widget, horizontally. This property supports left-to-right and right-to-left text directions.

This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from gtk_widget_set_size_request() for example.

marginTop?: number

Margin on top side of widget.

This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from gtk_widget_set_size_request() for example.

monospace?: boolean
name?: string
noShowAll?: boolean
opacity?: number

The requested opacity of the widget. See gtk_widget_set_opacity() for more details about window opacity.

Before 3.8 this was only available in GtkWindow

overscroll?: number
overwrite?: boolean
overwriteBraces?: boolean
parent?: Gtk.Container
pixelsAboveLines?: number
pixelsBelowLines?: number
pixelsInsideWrap?: number
populateAll?: boolean

If :populate-all is %TRUE, the #GtkTextView::populate-popup signal is also emitted for touch popups.

receivesDefault?: boolean
resizeMode?: Gtk.ResizeMode
rightMargin?: number

The default right margin for text in the text view. Tags in the buffer may override the default.

Note that this property is confusingly named. In CSS terms, the value set here is padding, and it is applied in addition to the padding from the theme.

Don't confuse this property with #GtkWidget:margin-right.

rightMarginPosition?: number

Position of the right margin.

rubberbandSearch?: boolean
scrollOffset?: number
searchDirection?: Gtk.DirectionType
sensitive?: boolean
showGridLines?: boolean
showLineChanges?: boolean
showLineDiagnostics?: boolean

If the diagnostics gutter should be visible.

This also requires that IdeBuffer:highlight-diagnostics is set to %TRUE to generate diagnostics.

showLineMarks?: boolean

Whether to display line mark pixbufs

showLineNumbers?: boolean

Whether to display line numbers

showRightMargin?: boolean

Whether to display the right margin.

showSearchBubbles?: boolean
showSearchShadow?: boolean
smartBackspace?: boolean

Whether smart Backspace should be used.

Set the behavior of the HOME and END keys.

snippetCompletion?: boolean
spellChecking?: boolean
style?: Gtk.Style

The style of the widget, which contains information about how it will look (colors, etc).

tabWidth?: number

Width of a tab character expressed in number of spaces.

tabs?: TabArray
tooltipMarkup?: string

Sets the text of tooltip to be the given string, which is marked up with the [Pango text markup language][PangoMarkupFormat]. Also see gtk_tooltip_set_markup().

This is a convenience property which will take care of getting the tooltip shown if the given string is not %NULL: #GtkWidget:has-tooltip will automatically be set to %TRUE and there will be taken care of #GtkWidget::query-tooltip in the default signal handler.

Note that if both #GtkWidget:tooltip-text and #GtkWidget:tooltip-markup are set, the last one wins.

tooltipText?: string

Sets the text of tooltip to be the given string.

Also see gtk_tooltip_set_text().

This is a convenience property which will take care of getting the tooltip shown if the given string is not %NULL: #GtkWidget:has-tooltip will automatically be set to %TRUE and there will be taken care of #GtkWidget::query-tooltip in the default signal handler.

Note that if both #GtkWidget:tooltip-text and #GtkWidget:tooltip-markup are set, the last one wins.

topMargin?: number

The top margin for text in the text view.

Note that this property is confusingly named. In CSS terms, the value set here is padding, and it is applied in addition to the padding from the theme.

Don't confuse this property with #GtkWidget:margin-top.

vadjustment?: Gtk.Adjustment

Verical #GtkAdjustment of the scrollable widget. This adjustment is shared between the scrollable widget and its parent.

valign?: Gtk.Align

How to distribute vertical space if widget gets extra space, see #GtkAlign

vexpand?: boolean

Whether to expand vertically. See gtk_widget_set_vexpand().

vexpandSet?: boolean

Whether to use the #GtkWidget:vexpand property. See gtk_widget_get_vexpand_set().

visible?: boolean
vscrollPolicy?: Gtk.ScrollablePolicy

Determines whether vertical scrolling should start once the scrollable widget is allocated less than its minimum height or less than its natural height.

widthRequest?: number
wrapMode?: Gtk.WrapMode

Legend

  • Module
  • Object literal
  • Variable
  • Function
  • Function with type parameter
  • Index signature
  • Type alias
  • Type alias with type parameter
  • Enumeration
  • Enumeration member
  • Property
  • Method
  • Interface
  • Interface with type parameter
  • Constructor
  • Property
  • Method
  • Index signature
  • Class
  • Class with type parameter
  • Constructor
  • Property
  • Method
  • Accessor
  • Index signature
  • Inherited constructor
  • Inherited property
  • Inherited method
  • Inherited accessor
  • Protected property
  • Protected method
  • Protected accessor
  • Private property
  • Private method
  • Private accessor
  • Static property
  • Static method