Skip to main content

plugins.search_ui

local search_ui = require "plugins.search_ui"

config.plugins.search_ui​

Configuration options for search_ui plugin.

position​

(field) position: "bottom"|"right"|"top"

Location of search interface.

replace_core_find​

(field) replace_core_find: boolean

Replaces the core find view when using the find shortcut.

plugins.search_ui.result​

Helper class to keep track on amount of matches and display on status label​

col​

(field) col: integer

line​

(field) line: integer

plugins.search_ui.results​

doc​

(field) doc: (core.doc)?

matches​

(field) matches: plugins.search_ui.result[]

prev_search_id​

(field) prev_search_id: integer

text​

(field) text: string

clear​

(method) plugins.search_ui.results:clear()

current​

(method) plugins.search_ui.results:current()
  -> integer

find​

(method) plugins.search_ui.results:find(text: string, doc: core.doc, force: any)

set_status​

(method) plugins.search_ui.results:set_status()

update​

(method) plugins.search_ui.results:update()

plugins.search_ui.ui​

The main user interface container.

init_size​

(field) init_size: boolean

name​

(field) name: string

prev_view​

(field) prev_view: (core.docview)?

scrollable​

(field) scrollable: boolean

on_scale_change​

(method) plugins.search_ui.ui:on_scale_change(...any)

update​

(method) plugins.search_ui.ui:update()

update_bottom_positioning​

(method) plugins.search_ui.ui:update_bottom_positioning()

update_right_positioning​

(method) plugins.search_ui.ui:update_right_positioning()

update_size​

(method) plugins.search_ui.ui:update_size()