GtkSource-5 ▶ GtkSource ▶ View ▶ ConstructorProps

interface ConstructorProps {
    accepts_tab: boolean;
    acceptsTab: boolean;
    accessible_role: Gtk.AccessibleRole;
    accessibleRole: Gtk.AccessibleRole;
    annotations: GtkSource.Annotations;
    auto_indent: boolean;
    autoIndent: boolean;
    background_pattern: GtkSource.BackgroundPatternType;
    backgroundPattern: GtkSource.BackgroundPatternType;
    bottom_margin: number;
    bottomMargin: number;
    buffer: Gtk.TextBuffer;
    can_focus: boolean;
    can_target: boolean;
    canFocus: boolean;
    canTarget: boolean;
    completion: GtkSource.Completion;
    css_classes: string[];
    css_name: string;
    cssClasses: string[];
    cssName: string;
    cursor: Gdk.Cursor;
    cursor_visible: boolean;
    cursorVisible: boolean;
    editable: boolean;
    enable_snippets: boolean;
    enableSnippets: boolean;
    extra_menu: Gio.MenuModel;
    extraMenu: Gio.MenuModel;
    focus_on_click: boolean;
    focusable: boolean;
    focusOnClick: boolean;
    hadjustment: Gtk.Adjustment;
    halign: Gtk.Align;
    has_default: boolean;
    has_focus: boolean;
    has_tooltip: boolean;
    hasDefault: boolean;
    hasFocus: boolean;
    hasTooltip: boolean;
    height_request: number;
    heightRequest: number;
    hexpand: boolean;
    hexpand_set: boolean;
    hexpandSet: boolean;
    highlight_current_line: boolean;
    highlightCurrentLine: boolean;
    hscroll_policy: Gtk.ScrollablePolicy;
    hscrollPolicy: Gtk.ScrollablePolicy;
    im_module: string;
    imModule: string;
    indent: number;
    indent_on_tab: boolean;
    indent_width: number;
    indenter: GtkSource.Indenter;
    indentOnTab: boolean;
    indentWidth: number;
    input_hints: Gtk.InputHints;
    input_purpose: Gtk.InputPurpose;
    inputHints: Gtk.InputHints;
    inputPurpose: Gtk.InputPurpose;
    insert_spaces_instead_of_tabs: boolean;
    insertSpacesInsteadOfTabs: boolean;
    justification: Gtk.Justification;
    layout_manager: Gtk.LayoutManager;
    layoutManager: Gtk.LayoutManager;
    left_margin: number;
    leftMargin: number;
    limit_events: boolean;
    limitEvents: boolean;
    margin_bottom: number;
    margin_end: number;
    margin_start: number;
    margin_top: number;
    marginBottom: number;
    marginEnd: number;
    marginStart: number;
    marginTop: number;
    monospace: boolean;
    name: string;
    opacity: number;
    overflow: Gtk.Overflow;
    overwrite: boolean;
    parent: Gtk.Widget;
    pixels_above_lines: number;
    pixels_below_lines: number;
    pixels_inside_wrap: number;
    pixelsAboveLines: number;
    pixelsBelowLines: number;
    pixelsInsideWrap: number;
    receives_default: boolean;
    receivesDefault: boolean;
    right_margin: number;
    right_margin_position: number;
    rightMargin: number;
    rightMarginPosition: number;
    root: Gtk.Root;
    scale_factor: number;
    scaleFactor: number;
    sensitive: boolean;
    show_line_marks: boolean;
    show_line_numbers: boolean;
    show_right_margin: boolean;
    showLineMarks: boolean;
    showLineNumbers: boolean;
    showRightMargin: boolean;
    smart_backspace: boolean;
    smart_home_end: GtkSource.SmartHomeEndType;
    smartBackspace: boolean;
    smartHomeEnd: GtkSource.SmartHomeEndType;
    space_drawer: GtkSource.SpaceDrawer;
    spaceDrawer: GtkSource.SpaceDrawer;
    tab_width: number;
    tabs: TabArray;
    tabWidth: number;
    tooltip_markup: string;
    tooltip_text: string;
    tooltipMarkup: string;
    tooltipText: string;
    top_margin: number;
    topMargin: number;
    vadjustment: Gtk.Adjustment;
    valign: Gtk.Align;
    vexpand: boolean;
    vexpand_set: boolean;
    vexpandSet: boolean;
    visible: boolean;
    vscroll_policy: Gtk.ScrollablePolicy;
    vscrollPolicy: Gtk.ScrollablePolicy;
    width_request: number;
    widthRequest: number;
    wrap_mode: Gtk.WrapMode;
    wrapMode: Gtk.WrapMode;
}