2022-12-26 20:24:31 +00:00
|
|
|
Manifest_navigator = {
|
|
|
|
-- state for the command palette
|
|
|
|
display = false, -- display navigator on screen
|
|
|
|
for_delete = false, -- if true, delete selected definition from navigator
|
|
|
|
reload = false, -- if true, refresh manifest to display on next keystroke
|
|
|
|
num_lines = nil, -- number of screen lines of space to devote to the navigator
|
|
|
|
index = 1, -- where the cursor is right now. Modified on arrow keys, reset on any non-arrow keystroke.
|
|
|
|
filter = '', -- prefix being typed into the command palette
|
2023-01-08 01:40:21 +00:00
|
|
|
-- candidates: list of candidates matching the filter
|
2022-12-26 20:24:31 +00:00
|
|
|
bottom_y = nil, -- cache a tiny bit of state in display logic
|
2023-01-08 01:40:21 +00:00
|
|
|
}
|