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.
Whether the widget is double buffered.
Set if and how the spaces should be visualized.
For a finer-grained method, there is also the GtkSourceTag's #GtkSourceTag:draw-spaces property.
Whether to expand in both directions. Setting this sets both #GtkWidget:hexpand and #GtkWidget:vexpand
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.
Horizontal #GtkAdjustment of the scrollable widget. This adjustment is shared between the scrollable widget and its parent.
How to distribute horizontal space if widget gets extra space, see #GtkAlign
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.
Whether to expand horizontally. See gtk_widget_set_hexpand().
Whether to use the #GtkWidget:hexpand property. See gtk_widget_get_hexpand_set().
Determines whether horizontal scrolling should start once the scrollable widget is allocated less than its minimum width or less than its natural width.
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.
Width of an indentation step expressed in number of spaces.
Additional hints (beyond #GtkTextView:input-purpose) that allow input methods to fine-tune their behaviour.
The purpose of this text field.
This property can be used by on-screen keyboards and other input methods to adjust their behaviour.
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.
Sets all four sides' margin at once. If read, returns max margin on any side.
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.
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.
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.
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.
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.
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.
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
If :populate-all is %TRUE, the #GtkTextView::populate-popup signal is also emitted for touch popups.
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.
Position of the right margin.
If the diagnostics gutter should be visible.
This also requires that IdeBuffer:highlight-diagnostics is set to %TRUE to generate diagnostics.
Whether to display line mark pixbufs
Whether to display line numbers
Whether to display the right margin.
Whether smart Backspace should be used.
Set the behavior of the HOME and END keys.
The style of the widget, which contains information about how it will look (colors, etc).
Width of a tab character expressed in number of spaces.
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.
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.
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.
Verical #GtkAdjustment of the scrollable widget. This adjustment is shared between the scrollable widget and its parent.
How to distribute vertical space if widget gets extra space, see #GtkAlign
Whether to expand vertically. See gtk_widget_set_vexpand().
Whether to use the #GtkWidget:vexpand property. See gtk_widget_get_vexpand_set().
Determines whether vertical scrolling should start once the scrollable widget is allocated less than its minimum height or less than its natural height.
Draw a specific background pattern on the view.