Skip to main content

core.docview

View for editing documents with syntax highlighting and text editing. Extends View to provide text editing capabilities including selection, scrolling, IME support, and rendering with syntax highlighting.

local docview = require "core.docview"

__index​

(field) __index: core.object

Base class providing OOP functionality for Lua. All classes in Pragtical inherit from Object.

cache_font​

(field) cache_font: renderer.font

cache_font_size​

(field) cache_font_size: number

cache_indent_size​

(field) cache_indent_size: integer

capture_text_input​

(field) capture_text_input: boolean?

Receive text input while floating without taking focus

context​

(field) context: string

current_scale​

(field) current_scale: number

cursor​

(field) cursor: string

disable_save​

(field) disable_save: boolean?

Disable the Save and Save As commands when true.

doc​

(field) doc: core.doc

floating​

(field) floating: boolean

Whether the view uses floating placement

floating_closing​

(field) floating_closing: boolean?

Whether input is disabled while a closing slide runs

floating_destination​

(field) floating_destination: (core.view.position)?

Settled position retained during a slide

floating_gesture​

(field) floating_gesture: (core.view.floating_gesture)?

Active pointer drag or resize

floating_options​

(field) floating_options: (core.view.floating_options)?

Placement ownership and input policy

floating_position​

(field) floating_position: (core.view.position)?

Persistent interpolation state for a slide

floating_previous_focus​

(field) floating_previous_focus: (core.view)?

Focus target to restore when hiding

floating_transition​

(field) floating_transition: (core.view.floating_transition)?

Active slide and callback

floating_visible​

(field) floating_visible: boolean?

Whether the view is registered, including closing slides

font​

(field) font: string

h_scrollbar​

(field) h_scrollbar: core.scrollbar

Scrollable viewport indicator with draggable thumb. Supports both vertical and horizontal orientation with configurable alignment. Uses a "normal" coordinate system internally that treats all scrollbars as vertical-end-aligned, then transforms to the actual orientation/alignment.

hovered_scrollbar​

(field) hovered_scrollbar: boolean

hovering_gutter​

(field) hovering_gutter: boolean

ime_status​

(field) ime_status: boolean

last_col1​

(field) last_col1: integer

last_col2​

(field) last_col2: integer

last_line1​

(field) last_line1: integer

last_line2​

(field) last_line2: integer

last_x_offset​

(field) last_x_offset: core.docview.position

mouse_selecting​

(field) mouse_selecting: table?

scroll​

(field) scroll: core.view.scroll

scrollable​

(field) scrollable: boolean

size​

(field) size: core.view.position

super​

(field) super: core.view

Base view.

translate​

(field) translate: table

v_scrollbar​

(field) v_scrollbar: core.scrollbar

Scrollable viewport indicator with draggable thumb. Supports both vertical and horizontal orientation with configurable alignment. Uses a "normal" coordinate system internally that treats all scrollbars as vertical-end-aligned, then transforms to the actual orientation/alignment.

visual_lines​

(field) visual_lines: table

visual_lines_change_id​

(field) visual_lines_change_id: integer

visual_lines_dirty​

(field) visual_lines_dirty: boolean

visual_lines_doc_lines​

(field) visual_lines_doc_lines: table

visual_lines_invalid_from​

(field) visual_lines_invalid_from: integer?

core.docview.ime_selection​

from​

(field) from: integer

size​

(field) size: integer

core.docview.position​

col​

(field) col: integer

line​

(field) line: integer

offset​

(field) offset: number

from_state​

function core.docview.from_state(state: table)
  -> core.docview|unknown

@return: core.docview|unknown

__call​

(method) core.object:__call(...any)
  -> obj: core.object

Metamethod allowing class to be called like a constructor. Enables syntax: local obj = MyClass(args) instead of MyClass:new(args) Automatically creates instance and calls new() with provided arguments.

@return obj: core.object — The new instance of the class

__tostring​

(method) core.docview:__tostring()
  -> string

bring_to_front​

(method) core.view:bring_to_front()
  -> view: core.view

Raise a shown floating view and its owned popups above the other floating views.

@return view: core.view — This view, for chaining

clamp_scroll_position​

(method) core.view:clamp_scroll_position()

Clamp scroll position to valid range (0 to max scrollable size). Called automatically by update(). Override get_scrollable_size() to customize.

draw​

(method) core.docview:draw()

Draw the entire document view. Renders background, gutters, text, selections, carets, and scrollbars.

draw_background​

(method) core.view:draw_background(color: renderer.color)

Draw a solid background color for the entire view. Commonly called at the start of draw() methods.

@param color: renderer.color — Array of bytes that represents a color used by the rendering functions.

draw_caret​

(method) core.docview:draw_caret(x: number, y: number, line: integer, col: integer)

Draw the caret at a position.

@param x: number — Screen x coordinate

@param y: number — Screen y coordinate

@param line: integer — Line number (for overwrite mode char width)

@param col: integer — Column number (for overwrite mode char width)

draw_ime_decoration​

(method) core.docview:draw_ime_decoration(line1: integer, col1: integer, line2: integer, col2: integer)

Draw IME composition decoration (underline and selection).

@param line1: integer — Start line

@param col1: integer — Start column

@param line2: integer — End line

@param col2: integer — End column

draw_line_body​

(method) core.docview:draw_line_body(line: integer, x: number, y: number)
  -> height: integer

Draw a complete line including highlight and selections.

@param line: integer — Line number

@param x: number — Screen x coordinate

@param y: number — Screen y coordinate

@return height: integer — Line height

draw_line_gutter​

(method) core.docview:draw_line_gutter(line: integer, x: number, y: number, width: number)
  -> height: integer

Draw the gutter with line numbers.

@param line: integer — Line number

@param x: number — Screen x coordinate

@param y: number — Screen y coordinate

@param width: number — Gutter width

@return height: integer — Line height

draw_line_highlight​

(method) core.docview:draw_line_highlight(x: number, y: number)

Draw the current line highlight bar.

@param x: number — Screen x coordinate

@param y: number — Screen y coordinate

draw_line_text​

(method) core.docview:draw_line_text(line: integer, x: number, y: number)
  -> height: integer

Draw the text content of a line with syntax highlighting.

@param line: integer — Line number

@param x: number — Screen x coordinate

@param y: number — Screen y coordinate

@return height: integer — Line height

draw_overlay​

(method) core.docview:draw_overlay()

Draw overlay elements (carets, IME decoration). Called after main text to draw on top.

draw_scrollbar​

(method) core.view:draw_scrollbar()

Draw the view's scrollbars. Commonly called at the end of draw() methods.

each_visible_line​

(method) core.docview:each_visible_line()
  -> fun():integer?, integer?, integer?

Iterate visible rows as virtual offset plus real document position.

ensure_line_visible​

(method) core.docview:ensure_line_visible(line: integer)
  -> line: integer

Ensure a document line is visible in this view. Plugins that hide lines can override this to reveal the requested line.

@return line: integer

extend​

(method) core.object:extend()
  -> cls: core.object

Create a new class that inherits from this one. Returns a new class with this class as its parent. Example: local MyClass = Object:extend()

@return cls: core.object — The new class table

extends​

(method) core.object:extends(T: any)
  -> extends: boolean

Check if object inherits from the given type (inheritance-aware). Use this to check class hierarchy. Example: view:extends(View) returns true for View and all subclasses

@param T: any — Class to check inheritance from

@return extends: boolean — True if object is T or inherits from T

get_col_x_offset​

(method) core.docview:get_col_x_offset(line: integer, col: integer)
  -> offset: number

Get the horizontal pixel offset for a column position. Accounts for tabs, syntax highlighting fonts, and caches long lines.

@param line: integer — Line number

@param col: integer — Column number (byte offset)

@return offset: number — Horizontal pixel offset

get_content_bounds​

(method) core.view:get_content_bounds()
  -> x1: number
  2. y1: number
  3. x2: number
  4. y2: number

Get the content bounds in content coordinates (accounting for scroll).

@return x1: number — Left edge

@return y1: number — Top edge

@return x2: number — Right edge

@return y2: number — Bottom edge

get_content_offset​

(method) core.view:get_content_offset()
  -> x: number
  2. y: number

Get the top-left corner of content area in screen coordinates. Accounts for scroll offset. Use for drawing content at correct position.

@return x: number — Screen x coordinate

@return y: number — Screen y coordinate

get_filename​

(method) core.docview:get_filename()
  -> filename: string

Get the full filename path for display (with home directory encoded).

@return filename: string — Full path or name with asterisk if modified

get_floating_bounds​

(method) core.view:get_floating_bounds()
  -> x: number
  2. y: number
  3. w: number
  4. h: number

Get the popup's outer rectangle in screen coordinates, including borders. Override together with set_floating_bounds() for composite views.

@return x: number — Screen x coordinate

@return y: number — Screen y coordinate

@return w: number — Outer width in pixels

@return h: number — Outer height in pixels

get_floating_drag_region​

(method) core.view:get_floating_drag_region()
  -> x: number?
  2. y: number?
  3. w: number?
  4. h: number?

Get the screen rectangle where a floating view can be dragged. Override to restrict dragging to a header; defaults to the full popup bounds.

@return x: number? — Screen x coordinate, or nil to disable dragging

@return y: number? — Screen y coordinate

@return w: number? — Region width

@return h: number? — Region height

get_focus_target​

(method) core.view:get_focus_target()
  -> target: (core.view)?

Get the view that should receive focus when this view is shown or clicked. Override for composites whose keyboard focus belongs to a descendant.

@return target: (core.view)? — View to focus, or nil to preserve the current focus

get_font​

(method) core.docview:get_font()
  -> font: renderer.font

Get the font used for rendering text.

@return font: renderer.font — The code font

get_gutter_width​

(method) core.docview:get_gutter_width()
  -> width: number
  2. padding: number

Get the gutter width (line numbers area).

@return width: number — Total gutter width

@return padding: number — Padding within gutter

get_h_scrollable_size​

(method) core.docview:get_h_scrollable_size()
  -> width: number

Get the scrollable width (infinite for horizontal scrolling).

@return width: number — Always returns math.huge

get_hidden_lines​

(method) core.docview:get_hidden_lines()
  -> hidden_lines: table<integer, boolean>?

Return plugin-provided hidden document lines.

@return hidden_lines: table<integer, boolean>?

get_line_height​

(method) core.docview:get_line_height()
  -> height: integer

Get the line height in pixels.

@return height: integer — Line height including line spacing

get_line_screen_position​

(method) core.docview:get_line_screen_position(line: integer, col?: integer)
  -> x: number
  2. y: number

Get the screen position of a line (and optionally column).

@param line: integer — Line number

@param col?: integer — Optional column number

@return x: number — Screen x coordinate

@return y: number — Screen y coordinate

get_line_text_y_offset​

(method) core.docview:get_line_text_y_offset()
  -> offset: number

Get the vertical offset for centering text within a line.

@return offset: number — Y offset to center text in line height

get_line_visual_height​

(method) core.docview:get_line_visual_height(line: integer)
  -> height: number

Get the visual height occupied by a real document line. Wrapped lines may span more than one row.

@param line: integer — Real document line

@return height: number

get_line_wraps​

(method) core.docview:get_line_wraps(line: integer)
  -> starts: integer[]?

Return visual row start columns for a document line.

@return starts: integer[]?

get_module​

(method) core.view:get_module()
  -> path: string?

Returns the module path of this view.

This method resolves the Lua module name that loaded the concrete view class (for example "core.view").

If the view class cannot be associated with any loaded module, nil is returned.

@return path: string?

get_name​

(method) core.docview:get_name()
  -> name: string

Get the display name for the tab (filename with * if dirty).

@return name: string — Document name with asterisk if modified

get_scrollable_size​

(method) core.docview:get_scrollable_size()
  -> height: number

Get the total scrollable height of the document.

@return height: number — Total height in pixels

get_state​

(method) core.docview:get_state()
  -> table

get_visible_cols_range​

(method) core.docview:get_visible_cols_range(line: integer, extra_cols?: integer)
  -> col1: integer
  2. col2: integer
  3. ucol1: integer
  4. ucol2: integer

Get an estimated range of visible columns. It is an estimate because fonts and their fallbacks may not be monospaced or may differ in size. This function provides a way of optimization on really long lines for plugins that perform drawing operations on them.

It is good practice to set the extra_cols parameter to a value that leaves room for the differences in font sizes.

@param extra_cols?: integer — Amount of columns to deduce on col1 and include on col2 (default: 100)

@return col1: integer

@return col2: integer

@return ucol1: integer

@return ucol2: integer

get_visible_line_range​

(method) core.docview:get_visible_line_range()
  -> minline: integer
  2. maxline: integer

Get the range of visible lines in the current viewport.

@return minline: integer — First visible line

@return maxline: integer — Last visible line

get_visual_line_col_from_x​

(method) core.docview:get_visual_line_col_from_x(row: integer, x: number)
  -> col: integer

Resolve a visual row-local horizontal offset to a document column.

@param row: integer — Visual row

@param x: number — Horizontal offset from text origin

@return col: integer

get_visual_lines​

(method) core.docview:get_visual_lines()
  -> table

get_x_offset_col​

(method) core.docview:get_x_offset_col(line: integer, x: number)
  -> col: integer

Get the column at a horizontal pixel offset. Inverse of get_col_x_offset. Accounts for variable-width fonts.

@param line: integer — Line number

@param x: number — Horizontal pixel offset

@return col: integer — Column number (byte offset)

has_variable_visual_lines​

(method) core.docview:has_variable_visual_lines()
  -> boolean

Return whether this view needs a materialized visual-line model. Views with wraps or other row expansions should override this.

hide_floating​

(method) core.view:hide_floating(options?: core.view.floating_transition)
  -> view: core.view

Hide the floating view, close owned popups, cancel input, and restore focus. A closing slide delays removal while the view immediately stops receiving input. Disabled transitions remove the view and run the completion callback immediately.

@param options?: core.view.floating_transition — Optional closing slide (to) and callback

@return view: core.view — This view, for chaining

hit_test​

(method) core.view:hit_test(x: number, y: number)
  -> inside: boolean

Check whether a screen point lies inside the view's outer rectangle. Override for custom shapes or composites with additional hit regions.

@param x: number — Screen x coordinate

@param y: number — Screen y coordinate

@return inside: boolean — Whether the view contains the point

invalidate_visual_lines​

(method) core.docview:invalidate_visual_lines(from_line?: integer)

Mark the visual-line model dirty.

@param from_line?: integer — First line that changed (reserved for incremental rebuilds)

is​

(method) core.object:is(T: any)
  -> is_exact: boolean

Check if object is exactly of the given type (no inheritance check). Use this for strict type matching. Example: view:is(DocView) returns true only if view is a DocView, not a subclass

@param T: any — Class to check against

@return is_exact: boolean — True if object is exactly type T

is_class_of​

(method) core.object:is_class_of(T: any)
  -> is_instance: boolean

Check if the given object is exactly an instance of this class. Inverse of is() - checks if T is an instance of self. Example: DocView:is_class_of(obj) checks if obj is exactly a DocView

@param T: any — Object to check

@return is_instance: boolean — True if T is exactly an instance of this class

is_extended_by​

(method) core.object:is_extended_by(T: any)
  -> is_extended: boolean

Check if the given object/class inherits from this class. Inverse of extends() - checks if T is a subclass of self. Example: View:is_extended_by(DocView) checks if DocView inherits from View

@param T: any — Object or class to check

@return is_extended: boolean — True if T inherits from this class

is_floating_owner_visible​

(method) core.view:is_floating_owner_visible()
  -> visible: boolean?

Check whether floating popups owned by this view should remain visible. Docked owners must be active in their node; container children follow their parent. Override for composites with their own visibility rules.

@return visible: boolean? — Falsy when the owner is hidden or its tab is inactive

is_line_visible​

(method) core.docview:is_line_visible(line: integer)
  -> boolean

Return whether a document line contributes visual rows.

mouse_selection​

(method) core.docview:mouse_selection(doc: core.doc, snap_type: string, line1: integer, col1: integer, line2: integer, col2: integer)
  -> line1: integer
  2. col1: integer
  3. line2: integer
  4. col2: integer

Adjust selection based on snap type (word, line).

@param doc: core.doc — Document

@param snap_type: string — Snap type: "word" or "lines"

@param line1: integer — Start line

@param col1: integer — Start column

@param line2: integer — End line

@param col2: integer — End column

@return line1: integer — Adjusted start line

@return col1: integer — Adjusted start column

@return line2: integer — Adjusted end line

@return col2: integer — Adjusted end column

move_towards​

(method) core.view:move_towards(t: table, k: string|number, dest: number, rate?: number, name?: string)

Smoothly animate a value towards a destination. Use this for animations instead of direct assignment.

@param t: table — Table containing the value

@param k: string|number — Key in table

@param dest: number — Target value

@param rate?: number — Animation speed (0-1, default 0.5, higher = faster)

@param name?: string — Transition name (for config.disabled_transitions)

new​

(method) core.docview:new(doc: core.doc)

Constructor - initializes a document view.

@param doc: core.doc — Document to display

offset_from_position​

(method) core.docview:offset_from_position(line: integer, col?: integer)
  -> offset: integer

Convert a real document position to its composed visual line offset.

@param line: integer — Real document line

@param col?: integer — Optional column

@return offset: integer — Visual line index (1-based)

on_file_dropped​

(method) core.view:on_file_dropped(filename: string, x: number, y: number)
  -> consumed: boolean

Handle file drop events (drag and drop from OS). Override to handle dropped files. Return true to consume event.

@param filename: string — Absolute path to dropped file

@param x: number — Screen x where file was dropped

@param y: number — Screen y where file was dropped

@return consumed: boolean — True to consume event, false to propagate

on_floating_dismiss​

(method) core.view:on_floating_dismiss(reason: "escape"|"focuslost"|"outside")

Handle a dismissal requested by Escape, an outside click, or window focus loss. The default implementation hides the view immediately; override for custom handling.

reason:
    | "escape"
    | "outside"
    | "focuslost"

@param reason: "escape"|"focuslost"|"outside" — Event that requested dismissal

on_floating_visibility_changed​

(method) core.view:on_floating_visibility_changed(visible: boolean)

Called when showing a floating view or completing its removal. Override to synchronize widget visibility or clear popup controller state.

@param visible: boolean — True on show, false when removal completes

on_ime_text_editing​

(method) core.docview:on_ime_text_editing(text: string, start: integer, length: integer)

Handle IME text composition events. Updates IME decoration and scrolls to keep composition visible.

@param text: string — Composition text

@param start: integer — Selection start within composition

@param length: integer — Selection length within composition

on_key_pressed​

(method) core.view:on_key_pressed(stroke: string, ...any)
  -> consumed: boolean?

Handle a floating view's keyboard input before command dispatch. Override and return true to consume the normalized key binding.

@param stroke: string — Normalized key binding, such as "ctrl+return"

@param: any — Additional arguments forwarded by the keyboard handler

@return consumed: boolean? — Whether the event was handled

on_mouse_capture_lost​

(method) core.view:on_mouse_capture_lost()

Cancel pointer gestures when RootView releases mouse capture without a click. Clears floating dragging, text selection, scrollbar dragging, and hover state. Override to clear any additional subclass gesture state.

on_mouse_left​

(method) core.docview:on_mouse_left()

Handle mouse leaving the view area. Clears hover state that would otherwise remain until the next mouse move inside the DocView.

on_mouse_moved​

(method) core.docview:on_mouse_moved(x: number, y: number, ...any)

Handle mouse movement for cursor changes and text selection. Updates cursor icon, gutter hover state, and extends selection if dragging.

@param x: number — Screen x coordinate

@param y: number — Screen y coordinate

on_mouse_pressed​

(method) core.docview:on_mouse_pressed(button: 'left'|'right', x: number, y: number, clicks: integer)
  -> handled: boolean?

Handle mouse press for text selection and gutter clicks. Supports single/double click, shift-selection, and gutter line selection.

button:
    | 'left'
    | 'right'

@param x: number — Screen x coordinate

@param y: number — Screen y coordinate

@param clicks: integer — Number of clicks

@return handled: boolean? — True if event was handled

on_mouse_released​

(method) core.docview:on_mouse_released(...any)

Handle mouse release to end text selection.

on_mouse_wheel​

(method) core.view:on_mouse_wheel(y: number, x: number)
  -> consumed: boolean?

Handle mouse wheel scroll events. Override for custom scroll behavior. Base implementation does nothing.

@param y: number — Vertical scroll delta; positive is "up"

@param x: number — Horizontal scroll delta; positive is "left"

@return consumed: boolean? — True to consume event

on_scale_change​

(method) core.view:on_scale_change(new_scale: number, prev_scale: number)

Called when DPI scale changes (display moved, zoom changed, etc.). Override to adjust sizes, padding, or other scale-dependent values.

@param new_scale: number — New scale factor (e.g., 1.0, 1.5, 2.0)

@param prev_scale: number — Previous scale factor

on_text_input​

(method) core.docview:on_text_input(text: string)

Handle text input from keyboard.

@param text: string — Input text

on_touch_moved​

(method) core.view:on_touch_moved(x: number, y: number, dx: number, dy: number, i: number)

Handle touch move events (touchscreen/trackpad gestures). Override for touch-specific behavior. Base implementation handles scrolling.

@param x: number — Current touch x coordinate

@param y: number — Current touch y coordinate

@param dx: number — Delta x since last position

@param dy: number — Delta y since last position

@param i: number — Touch finger/pointer index

owns_view​

(method) core.view:owns_view(view?: core.view)
  -> owned: boolean

Check whether a view is this view or belongs to it through a container or owner. Follows parent, subparent, and floating owner links while guarding against cycles.

@param view?: core.view — Candidate view

@return owned: boolean — Whether the candidate belongs to this view

position_from_offset​

(method) core.docview:position_from_offset(offset: integer)
  -> line: integer
  2. col: integer

Convert a visual line offset (from get_visible_line_range) to a real document position. Plugins that iterate visible rows should call this to get the real line and column represented by each composed visual row.

@param offset: integer — Visual line index (1-based)

@return line: integer — Real document line

@return col: integer — Column where the visual row starts

rebuild_visual_lines​

(method) core.docview:rebuild_visual_lines(from_line?: integer)

Rebuild the composed visual-line model.

@param from_line?: integer — First document line that may have changed

resolve_screen_position​

(method) core.docview:resolve_screen_position(x: number, y: number)
  -> line: integer
  2. col: integer

Convert screen coordinates to document line/column.

@param x: number — Screen x coordinate

@param y: number — Screen y coordinate

@return line: integer — Line number

@return col: integer — Column number

scroll_to_line​

(method) core.docview:scroll_to_line(line: integer, ignore_if_visible?: boolean, instant?: boolean)

Scroll to center a line in the viewport.

@param line: integer — Line number to scroll to

@param ignore_if_visible?: boolean — Don't scroll if line already visible

@param instant?: boolean — Jump immediately without animation

scroll_to_make_visible​

(method) core.docview:scroll_to_make_visible(line: integer, col: integer, instant?: boolean)

Scroll to make a position visible with context padding. Ensures the position is visible with surrounding context lines.

@param line: integer — Line number

@param col: integer — Column number

@param instant?: boolean — Jump immediately without animation

scrollbar_dragging​

(method) core.view:scrollbar_dragging()
  -> dragging: boolean

Check if user is currently dragging either scrollbar.

@return dragging: boolean — True if scrollbar drag is in progress

scrollbar_hovering​

(method) core.view:scrollbar_hovering()
  -> hovering: boolean

Check if mouse is hovering over either scrollbar track.

@return hovering: boolean — True if mouse is over scrollbar

scrollbar_overlaps_point​

(method) core.view:scrollbar_overlaps_point(x: number, y: number)
  -> overlaps: boolean

Check if a screen point overlaps either scrollbar. Useful for determining cursor style or handling clicks.

@param x: number — Screen x coordinate

@param y: number — Screen y coordinate

@return overlaps: boolean — True if point is over vertical or horizontal scrollbar

set_floating​

(method) core.view:set_floating(enabled: boolean, options?: core.view.floating_options)
  -> view: core.view

Enable or disable floating placement and configure popup input and ownership. Call show_floating() to show the view after enabling this mode. Detach it from its node or parent container before showing. Disabling hides it.

@param enabled: boolean — Whether the view should use floating placement

@param options?: core.view.floating_options — Options merged with existing ones when enabling

@return view: core.view — This view, for chaining

set_floating_bounds​

(method) core.view:set_floating_bounds(x: number, y: number, w: number, h: number)

Set the popup's outer rectangle when RootView places, drags, or resizes it. Override for composites that need to update child layout or account for borders.

@param x: number — Screen x coordinate

@param y: number — Screen y coordinate

@param w: number — Outer width in pixels

@param h: number — Outer height in pixels

show_floating​

(method) core.view:show_floating(options?: core.view.floating_transition)
  -> view: core.view

Show or raise the view in RootView's floating layer and apply its focus policy. Requires a view detached from its node and parent container. Reopening cancels a pending close and its completion callback. Disabled transitions apply placement and run the completion callback immediately.

@param options?: core.view.floating_transition — Optional opening slide (from) and callback

@return view: core.view — This view, for chaining

supports_text_input​

(method) core.docview:supports_text_input()
  -> accepts: boolean

Check if this view accepts text input.

@return accepts: boolean — Always returns true for DocView

try_close​

(method) core.docview:try_close(do_close: function)

Attempt to close the view, prompting to save if document is dirty. Shows "Unsaved Changes" dialog if this is the last view of a dirty document.

@param do_close: function — Callback to execute when close is confirmed

update​

(method) core.docview:update()

Update the view state each frame. Handles cache invalidation, auto-scrolling to caret, and blink timing.

update_floating​

(method) core.view:update_floating()

Update anchor placement or advance an opening or closing slide. RootView calls this before update() for each shown floating view. Completes removal and invokes the transition callback when a slide finishes.

update_ime_location​

(method) core.docview:update_ime_location()

Update IME composition window location. Sets the bounding box for the system IME composition window.

update_scrollbar​

(method) core.view:update_scrollbar()

Update scrollbar positions and sizes. Called automatically by update(). Rarely needs to be called manually.

visual_line_count​

(method) core.docview:visual_line_count()
  -> count: integer

Get the total number of visual rows.

@return count: integer

visual_position_from_row​

(method) core.docview:visual_position_from_row(row: integer)
  -> line: integer
  2. col: integer

Convert a visual row to a real document position.

@return line: integer

@return col: integer

visual_row_from_position​

(method) core.docview:visual_row_from_position(line: integer, col?: integer)
  -> row: integer

Convert a real document position to a visual row.

@return row: integer

visual_rows_for_line​

(method) core.docview:visual_rows_for_line(line: integer)
  -> first_row: integer?
  2. row_count: integer

Get the first visual row and row count for a real document line.

@return first_row: integer?

@return row_count: integer