2022-05-31 22:34:14 +02:00
|
|
|
-- mod-version:3
|
2019-12-28 12:16:32 +01:00
|
|
|
local core = require "core"
|
|
|
|
local common = require "core.common"
|
|
|
|
local config = require "core.config"
|
|
|
|
local command = require "core.command"
|
|
|
|
local style = require "core.style"
|
|
|
|
local keymap = require "core.keymap"
|
|
|
|
local translate = require "core.doc.translate"
|
|
|
|
local RootView = require "core.rootview"
|
|
|
|
local DocView = require "core.docview"
|
2021-07-20 20:39:50 +02:00
|
|
|
local Doc = require "core.doc"
|
|
|
|
|
2023-08-26 16:50:48 +02:00
|
|
|
---Symbols cache of all open documents
|
|
|
|
---@type table<core.doc, table>
|
|
|
|
local cache = setmetatable({}, { __mode = "k" })
|
|
|
|
|
2021-12-06 00:32:20 +01:00
|
|
|
config.plugins.autocomplete = common.merge({
|
2022-02-03 19:55:01 +01:00
|
|
|
-- Amount of characters that need to be written for autocomplete
|
|
|
|
min_len = 3,
|
|
|
|
-- The max amount of visible items
|
|
|
|
max_height = 6,
|
|
|
|
-- The max amount of scrollable items
|
|
|
|
max_suggestions = 100,
|
|
|
|
-- Maximum amount of symbols to cache per document
|
|
|
|
max_symbols = 4000,
|
2023-08-26 16:50:48 +02:00
|
|
|
-- Which symbols to show on the suggestions list: global, local, related, none
|
|
|
|
suggestions_scope = "global",
|
2022-02-03 19:55:01 +01:00
|
|
|
-- Font size of the description box
|
2022-05-23 21:12:37 +02:00
|
|
|
desc_font_size = 12,
|
2023-08-26 16:50:48 +02:00
|
|
|
-- Do not show the icons associated to the suggestions
|
|
|
|
hide_icons = false,
|
|
|
|
-- Position where icons will be displayed on the suggestions list
|
|
|
|
icon_position = "left",
|
|
|
|
-- Do not show the additional information related to a suggestion
|
|
|
|
hide_info = false,
|
2022-05-23 21:12:37 +02:00
|
|
|
-- The config specification used by gui generators
|
|
|
|
config_spec = {
|
|
|
|
name = "Autocomplete",
|
|
|
|
{
|
|
|
|
label = "Minimum Length",
|
|
|
|
description = "Amount of characters that need to be written for autocomplete to popup.",
|
|
|
|
path = "min_len",
|
|
|
|
type = "number",
|
|
|
|
default = 3,
|
|
|
|
min = 1,
|
|
|
|
max = 5
|
|
|
|
},
|
|
|
|
{
|
|
|
|
label = "Maximum Height",
|
|
|
|
description = "The maximum amount of visible items.",
|
|
|
|
path = "max_height",
|
|
|
|
type = "number",
|
|
|
|
default = 6,
|
|
|
|
min = 1,
|
|
|
|
max = 20
|
|
|
|
},
|
|
|
|
{
|
|
|
|
label = "Maximum Suggestions",
|
|
|
|
description = "The maximum amount of scrollable items.",
|
|
|
|
path = "max_suggestions",
|
|
|
|
type = "number",
|
|
|
|
default = 100,
|
|
|
|
min = 10,
|
|
|
|
max = 10000
|
|
|
|
},
|
|
|
|
{
|
|
|
|
label = "Maximum Symbols",
|
|
|
|
description = "Maximum amount of symbols to cache per document.",
|
|
|
|
path = "max_symbols",
|
|
|
|
type = "number",
|
|
|
|
default = 4000,
|
|
|
|
min = 1000,
|
|
|
|
max = 10000
|
|
|
|
},
|
2023-08-26 16:50:48 +02:00
|
|
|
{
|
|
|
|
label = "Suggestions Scope",
|
|
|
|
description = "Which symbols to show on the suggestions list.",
|
|
|
|
path = "suggestions_scope",
|
|
|
|
type = "selection",
|
|
|
|
default = "global",
|
|
|
|
values = {
|
|
|
|
{"All Documents", "global"},
|
|
|
|
{"Current Document", "local"},
|
|
|
|
{"Related Documents", "related"},
|
|
|
|
{"Known Symbols", "none"}
|
|
|
|
},
|
|
|
|
on_apply = function(value)
|
|
|
|
if value == "global" then
|
|
|
|
for _, doc in ipairs(core.docs) do
|
|
|
|
if cache[doc] then cache[doc] = nil end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
},
|
2022-05-23 21:12:37 +02:00
|
|
|
{
|
|
|
|
label = "Description Font Size",
|
|
|
|
description = "Font size of the description box.",
|
|
|
|
path = "desc_font_size",
|
|
|
|
type = "number",
|
|
|
|
default = 12,
|
|
|
|
min = 8
|
2023-08-26 16:50:48 +02:00
|
|
|
},
|
|
|
|
{
|
|
|
|
label = "Hide Icons",
|
|
|
|
description = "Do not show icons on the suggestions list.",
|
|
|
|
path = "hide_icons",
|
|
|
|
type = "toggle",
|
|
|
|
default = false
|
|
|
|
},
|
|
|
|
{
|
|
|
|
label = "Icons Position",
|
|
|
|
description = "Position to display icons on the suggestions list.",
|
|
|
|
path = "icon_position",
|
|
|
|
type = "selection",
|
|
|
|
default = "left",
|
|
|
|
values = {
|
|
|
|
{"Left", "left"},
|
|
|
|
{"Right", "Right"}
|
|
|
|
}
|
|
|
|
},
|
|
|
|
{
|
|
|
|
label = "Hide Items Info",
|
|
|
|
description = "Do not show the additional info related to each suggestion.",
|
|
|
|
path = "hide_info",
|
|
|
|
type = "toggle",
|
|
|
|
default = false
|
2022-05-23 21:12:37 +02:00
|
|
|
}
|
|
|
|
}
|
2021-12-06 00:32:20 +01:00
|
|
|
}, config.plugins.autocomplete)
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2020-05-11 20:37:50 +02:00
|
|
|
local autocomplete = {}
|
2021-07-20 20:39:50 +02:00
|
|
|
|
2020-05-11 20:37:50 +02:00
|
|
|
autocomplete.map = {}
|
2021-07-20 20:39:50 +02:00
|
|
|
autocomplete.map_manually = {}
|
|
|
|
autocomplete.on_close = nil
|
2023-08-26 16:50:48 +02:00
|
|
|
autocomplete.icons = {}
|
2020-05-11 20:37:50 +02:00
|
|
|
|
2021-07-20 20:39:50 +02:00
|
|
|
-- Flag that indicates if the autocomplete box was manually triggered
|
|
|
|
-- with the autocomplete.complete() function to prevent the suggestions
|
|
|
|
-- from getting cluttered with arbitrary document symbols by using the
|
|
|
|
-- autocomplete.map_manually table.
|
|
|
|
local triggered_manually = false
|
2020-05-11 20:37:50 +02:00
|
|
|
|
|
|
|
local mt = { __tostring = function(t) return t.text end }
|
|
|
|
|
2022-02-03 19:55:01 +01:00
|
|
|
function autocomplete.add(t, manually_triggered)
|
2020-05-11 20:37:50 +02:00
|
|
|
local items = {}
|
|
|
|
for text, info in pairs(t.items) do
|
2021-07-20 20:39:50 +02:00
|
|
|
if type(info) == "table" then
|
|
|
|
table.insert(
|
|
|
|
items,
|
|
|
|
setmetatable(
|
|
|
|
{
|
|
|
|
text = text,
|
|
|
|
info = info.info,
|
2023-08-26 16:50:48 +02:00
|
|
|
icon = info.icon, -- Name of icon to show
|
2022-02-03 19:55:01 +01:00
|
|
|
desc = info.desc, -- Description shown on item selected
|
|
|
|
onhover = info.onhover, -- A callback called once when item is hovered
|
|
|
|
onselect = info.onselect, -- A callback called when item is selected
|
|
|
|
data = info.data -- Optional data that can be used on cb
|
2021-07-20 20:39:50 +02:00
|
|
|
},
|
|
|
|
mt
|
|
|
|
)
|
|
|
|
)
|
|
|
|
else
|
|
|
|
info = (type(info) == "string") and info
|
|
|
|
table.insert(items, setmetatable({ text = text, info = info }, mt))
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2022-02-03 19:55:01 +01:00
|
|
|
if not manually_triggered then
|
2021-07-20 20:39:50 +02:00
|
|
|
autocomplete.map[t.name] = { files = t.files or ".*", items = items }
|
|
|
|
else
|
|
|
|
autocomplete.map_manually[t.name] = { files = t.files or ".*", items = items }
|
2020-05-11 20:37:50 +02:00
|
|
|
end
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2021-07-20 20:39:50 +02:00
|
|
|
--
|
|
|
|
-- Thread that scans open document symbols and cache them
|
|
|
|
--
|
2023-08-26 16:50:48 +02:00
|
|
|
local global_symbols = {}
|
2019-12-28 12:16:32 +01:00
|
|
|
|
|
|
|
core.add_thread(function()
|
2023-08-26 16:50:48 +02:00
|
|
|
local function load_syntax_symbols(doc)
|
|
|
|
if doc.syntax and not autocomplete.map["language_"..doc.syntax.name] then
|
|
|
|
local symbols = {
|
|
|
|
name = "language_"..doc.syntax.name,
|
|
|
|
files = doc.syntax.files,
|
|
|
|
items = {}
|
|
|
|
}
|
|
|
|
for name, type in pairs(doc.syntax.symbols) do
|
|
|
|
symbols.items[name] = type
|
2022-04-09 12:06:14 +02:00
|
|
|
end
|
2023-08-26 16:50:48 +02:00
|
|
|
autocomplete.add(symbols)
|
|
|
|
return symbols.items
|
2022-04-09 12:06:14 +02:00
|
|
|
end
|
2023-08-26 16:50:48 +02:00
|
|
|
return {}
|
2022-04-09 12:06:14 +02:00
|
|
|
end
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
local function get_symbols(doc)
|
|
|
|
local s = {}
|
2023-08-26 16:50:48 +02:00
|
|
|
local syntax_symbols = load_syntax_symbols(doc)
|
|
|
|
local max_symbols = config.plugins.autocomplete.max_symbols
|
2022-04-09 12:06:14 +02:00
|
|
|
if doc.disable_symbols then return s end
|
|
|
|
local i = 1
|
2020-11-14 23:47:39 +01:00
|
|
|
local symbols_count = 0
|
2022-04-10 04:11:59 +02:00
|
|
|
while i <= #doc.lines do
|
2019-12-28 12:16:32 +01:00
|
|
|
for sym in doc.lines[i]:gmatch(config.symbol_pattern) do
|
2023-08-26 16:50:48 +02:00
|
|
|
if not s[sym] and not syntax_symbols[sym] then
|
2020-11-14 23:47:39 +01:00
|
|
|
symbols_count = symbols_count + 1
|
|
|
|
if symbols_count > max_symbols then
|
|
|
|
s = nil
|
|
|
|
doc.disable_symbols = true
|
2022-06-29 05:54:37 +02:00
|
|
|
local filename_message
|
|
|
|
if doc.filename then
|
|
|
|
filename_message = "document " .. doc.filename
|
|
|
|
else
|
|
|
|
filename_message = "unnamed document"
|
|
|
|
end
|
2020-11-17 12:34:46 +01:00
|
|
|
core.status_view:show_message("!", style.accent,
|
2022-06-29 05:54:37 +02:00
|
|
|
"Too many symbols in "..filename_message..
|
2022-02-03 19:55:01 +01:00
|
|
|
": stopping auto-complete for this document according to "..
|
|
|
|
"config.plugins.autocomplete.max_symbols."
|
|
|
|
)
|
2020-11-14 23:47:39 +01:00
|
|
|
collectgarbage('collect')
|
|
|
|
return {}
|
|
|
|
end
|
|
|
|
s[sym] = true
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
i = i + 1
|
|
|
|
if i % 100 == 0 then coroutine.yield() end
|
|
|
|
end
|
|
|
|
return s
|
|
|
|
end
|
|
|
|
|
|
|
|
local function cache_is_valid(doc)
|
|
|
|
local c = cache[doc]
|
|
|
|
return c and c.last_change_id == doc:get_change_id()
|
|
|
|
end
|
|
|
|
|
|
|
|
while true do
|
2020-05-11 20:37:50 +02:00
|
|
|
local symbols = {}
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
-- lift all symbols from all docs
|
|
|
|
for _, doc in ipairs(core.docs) do
|
|
|
|
-- update the cache if the doc has changed since the last iteration
|
|
|
|
if not cache_is_valid(doc) then
|
|
|
|
cache[doc] = {
|
|
|
|
last_change_id = doc:get_change_id(),
|
|
|
|
symbols = get_symbols(doc)
|
|
|
|
}
|
|
|
|
end
|
|
|
|
-- update symbol set with doc's symbol set
|
2023-08-26 16:50:48 +02:00
|
|
|
if config.plugins.autocomplete.suggestions_scope == "global" then
|
|
|
|
for sym in pairs(cache[doc].symbols) do
|
|
|
|
symbols[sym] = true
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
coroutine.yield()
|
|
|
|
end
|
|
|
|
|
2023-08-26 16:50:48 +02:00
|
|
|
-- update global symbols list
|
|
|
|
if config.plugins.autocomplete.suggestions_scope == "global" then
|
|
|
|
global_symbols = symbols
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
|
|
|
|
-- wait for next scan
|
|
|
|
local valid = true
|
|
|
|
while valid do
|
|
|
|
coroutine.yield(1)
|
|
|
|
for _, doc in ipairs(core.docs) do
|
|
|
|
if not cache_is_valid(doc) then
|
|
|
|
valid = false
|
2022-04-10 04:20:46 +02:00
|
|
|
break
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
|
|
|
|
|
|
|
|
local partial = ""
|
2024-03-06 04:56:01 +01:00
|
|
|
local suggestions_offset = 1
|
2019-12-28 12:16:32 +01:00
|
|
|
local suggestions_idx = 1
|
|
|
|
local suggestions = {}
|
|
|
|
local last_line, last_col
|
|
|
|
|
|
|
|
|
|
|
|
local function reset_suggestions()
|
2024-03-06 04:56:01 +01:00
|
|
|
suggestions_offset = 1
|
2019-12-28 12:16:32 +01:00
|
|
|
suggestions_idx = 1
|
|
|
|
suggestions = {}
|
2021-07-20 20:39:50 +02:00
|
|
|
|
|
|
|
triggered_manually = false
|
|
|
|
|
|
|
|
local doc = core.active_view.doc
|
|
|
|
if autocomplete.on_close then
|
|
|
|
autocomplete.on_close(doc, suggestions[suggestions_idx])
|
|
|
|
autocomplete.on_close = nil
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
|
2020-05-11 20:37:50 +02:00
|
|
|
local function update_suggestions()
|
|
|
|
local doc = core.active_view.doc
|
|
|
|
local filename = doc and doc.filename or ""
|
|
|
|
|
2021-07-20 20:39:50 +02:00
|
|
|
local map = autocomplete.map
|
|
|
|
|
|
|
|
if triggered_manually then
|
|
|
|
map = autocomplete.map_manually
|
|
|
|
end
|
|
|
|
|
2023-08-26 16:50:48 +02:00
|
|
|
local assigned_sym = {}
|
|
|
|
|
2020-05-11 20:37:50 +02:00
|
|
|
-- get all relevant suggestions for given filename
|
|
|
|
local items = {}
|
2021-07-20 20:39:50 +02:00
|
|
|
for _, v in pairs(map) do
|
2020-05-11 20:37:50 +02:00
|
|
|
if common.match_pattern(filename, v.files) then
|
|
|
|
for _, item in pairs(v.items) do
|
|
|
|
table.insert(items, item)
|
2023-08-26 16:50:48 +02:00
|
|
|
assigned_sym[item.text] = true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Append the global, local or related text symbols if applicable
|
|
|
|
local scope = config.plugins.autocomplete.suggestions_scope
|
|
|
|
|
|
|
|
if not triggered_manually then
|
|
|
|
local text_symbols = nil
|
|
|
|
|
|
|
|
if scope == "global" then
|
|
|
|
text_symbols = global_symbols
|
|
|
|
elseif scope == "local" and cache[doc] and cache[doc].symbols then
|
|
|
|
text_symbols = cache[doc].symbols
|
|
|
|
elseif scope == "related" then
|
|
|
|
for _, d in ipairs(core.docs) do
|
|
|
|
if doc.syntax == d.syntax then
|
|
|
|
if cache[d].symbols then
|
|
|
|
for name in pairs(cache[d].symbols) do
|
|
|
|
if not assigned_sym[name] then
|
|
|
|
table.insert(items, setmetatable(
|
|
|
|
{text = name, info = "normal"}, mt
|
|
|
|
))
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
if text_symbols then
|
|
|
|
for name in pairs(text_symbols) do
|
|
|
|
if not assigned_sym[name] then
|
|
|
|
table.insert(items, setmetatable({text = name, info = "normal"}, mt))
|
|
|
|
end
|
2020-05-11 20:37:50 +02:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- fuzzy match, remove duplicates and store
|
|
|
|
items = common.fuzzy_match(items, partial)
|
|
|
|
local j = 1
|
2021-07-13 16:16:17 +02:00
|
|
|
for i = 1, config.plugins.autocomplete.max_suggestions do
|
2020-05-11 20:37:50 +02:00
|
|
|
suggestions[i] = items[j]
|
|
|
|
while items[j] and items[i].text == items[j].text do
|
|
|
|
items[i].info = items[i].info or items[j].info
|
|
|
|
j = j + 1
|
|
|
|
end
|
|
|
|
end
|
2022-02-03 19:55:01 +01:00
|
|
|
suggestions_idx = 1
|
2024-03-06 04:56:01 +01:00
|
|
|
suggestions_offset = 1
|
2020-05-11 20:37:50 +02:00
|
|
|
end
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
local function get_partial_symbol()
|
|
|
|
local doc = core.active_view.doc
|
|
|
|
local line2, col2 = doc:get_selection()
|
|
|
|
local line1, col1 = doc:position_offset(line2, col2, translate.start_of_word)
|
|
|
|
return doc:get_text(line1, col1, line2, col2)
|
|
|
|
end
|
|
|
|
|
|
|
|
local function get_active_view()
|
2022-08-14 02:02:57 +02:00
|
|
|
if core.active_view:is(DocView) then
|
2019-12-28 12:16:32 +01:00
|
|
|
return core.active_view
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2024-03-06 04:29:17 +01:00
|
|
|
local last_max_width = 0
|
2019-12-28 12:16:32 +01:00
|
|
|
local function get_suggestions_rect(av)
|
|
|
|
if #suggestions == 0 then
|
2024-03-06 04:29:17 +01:00
|
|
|
last_max_width = 0
|
2019-12-28 12:16:32 +01:00
|
|
|
return 0, 0, 0, 0
|
|
|
|
end
|
|
|
|
|
|
|
|
local line, col = av.doc:get_selection()
|
2022-05-05 02:05:41 +02:00
|
|
|
local x, y = av:get_line_screen_position(line, col - #partial)
|
2019-12-28 12:16:32 +01:00
|
|
|
y = y + av:get_line_height() + style.padding.y
|
|
|
|
local font = av:get_font()
|
|
|
|
local th = font:get_height()
|
2023-08-26 16:50:48 +02:00
|
|
|
local has_icons = false
|
|
|
|
local hide_info = config.plugins.autocomplete.hide_info
|
|
|
|
local hide_icons = config.plugins.autocomplete.hide_icons
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2024-03-06 04:29:17 +01:00
|
|
|
local ah = config.plugins.autocomplete.max_height
|
|
|
|
|
|
|
|
local max_items = math.min(ah, #suggestions)
|
|
|
|
|
|
|
|
local show_count = math.min(#suggestions, ah)
|
|
|
|
local start_index = math.max(suggestions_idx-(ah-1), 1)
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
local max_width = 0
|
2024-03-06 04:29:17 +01:00
|
|
|
local max_l_icon_width = 0
|
|
|
|
for i = start_index, start_index + show_count - 1 do
|
|
|
|
local s = suggestions[i]
|
2020-05-11 20:37:50 +02:00
|
|
|
local w = font:get_width(s.text)
|
2023-08-26 16:50:48 +02:00
|
|
|
if s.info and not hide_info then
|
2020-05-11 20:37:50 +02:00
|
|
|
w = w + style.font:get_width(s.info) + style.padding.x
|
|
|
|
end
|
2023-08-26 16:50:48 +02:00
|
|
|
local icon = s.icon or s.info
|
|
|
|
if not hide_icons and icon and autocomplete.icons[icon] then
|
2024-03-06 04:29:17 +01:00
|
|
|
local icon_width = autocomplete.icons[icon].font:get_width(
|
2023-08-26 16:50:48 +02:00
|
|
|
autocomplete.icons[icon].char
|
2024-03-06 04:29:17 +01:00
|
|
|
)
|
|
|
|
if config.plugins.autocomplete.icon_position == "left" then
|
|
|
|
max_l_icon_width = math.max(max_l_icon_width, icon_width + (style.padding.x / 2))
|
|
|
|
end
|
|
|
|
w = w + icon_width + (style.padding.x / 2)
|
2023-08-26 16:50:48 +02:00
|
|
|
has_icons = true
|
|
|
|
end
|
2020-05-11 20:37:50 +02:00
|
|
|
max_width = math.max(max_width, w)
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
2024-03-06 04:29:17 +01:00
|
|
|
max_width = math.max(last_max_width, max_width)
|
|
|
|
last_max_width = max_width
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2024-03-06 04:29:17 +01:00
|
|
|
max_width = max_width + style.padding.x * 2
|
|
|
|
x = x - style.padding.x - max_l_icon_width
|
2021-07-20 20:39:50 +02:00
|
|
|
|
|
|
|
-- additional line to display total items
|
|
|
|
max_items = max_items + 1
|
|
|
|
|
2024-03-06 04:29:17 +01:00
|
|
|
if max_width > core.root_view.size.x then
|
|
|
|
max_width = core.root_view.size.x
|
|
|
|
end
|
|
|
|
if max_width < 150 * SCALE then
|
|
|
|
max_width = 150 * SCALE
|
2021-07-20 20:39:50 +02:00
|
|
|
end
|
|
|
|
|
2022-02-03 19:55:01 +01:00
|
|
|
-- if portion not visiable to right, reposition to DocView right margin
|
2024-03-06 04:29:17 +01:00
|
|
|
if x + max_width > core.root_view.size.x then
|
|
|
|
x = (av.size.x + av.position.x) - max_width
|
2022-02-03 19:55:01 +01:00
|
|
|
end
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
return
|
2024-03-06 04:29:17 +01:00
|
|
|
x,
|
2019-12-28 12:16:32 +01:00
|
|
|
y - style.padding.y,
|
2024-03-06 04:29:17 +01:00
|
|
|
max_width,
|
2023-08-26 16:50:48 +02:00
|
|
|
max_items * (th + style.padding.y) + style.padding.y,
|
|
|
|
has_icons
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
|
2022-02-03 19:55:01 +01:00
|
|
|
local function wrap_line(line, max_chars)
|
|
|
|
if #line > max_chars then
|
|
|
|
local lines = {}
|
|
|
|
local line_len = #line
|
|
|
|
local new_line = ""
|
|
|
|
local prev_char = ""
|
|
|
|
local position = 0
|
|
|
|
local indent = line:match("^%s+")
|
|
|
|
for char in line:gmatch(".") do
|
|
|
|
position = position + 1
|
|
|
|
if #new_line < max_chars then
|
|
|
|
new_line = new_line .. char
|
|
|
|
prev_char = char
|
|
|
|
if position >= line_len then
|
|
|
|
table.insert(lines, new_line)
|
|
|
|
end
|
|
|
|
else
|
|
|
|
if
|
|
|
|
not prev_char:match("%s")
|
|
|
|
and
|
|
|
|
not string.sub(line, position+1, 1):match("%s")
|
|
|
|
and
|
|
|
|
position < line_len
|
|
|
|
then
|
|
|
|
new_line = new_line .. "-"
|
|
|
|
end
|
|
|
|
table.insert(lines, new_line)
|
|
|
|
if indent then
|
|
|
|
new_line = indent .. char
|
|
|
|
else
|
|
|
|
new_line = char
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return lines
|
|
|
|
end
|
|
|
|
return line
|
|
|
|
end
|
|
|
|
|
|
|
|
local previous_scale = SCALE
|
|
|
|
local desc_font = style.code_font:copy(
|
|
|
|
config.plugins.autocomplete.desc_font_size * SCALE
|
|
|
|
)
|
2021-07-20 20:39:50 +02:00
|
|
|
local function draw_description_box(text, av, sx, sy, sw, sh)
|
2022-02-03 19:55:01 +01:00
|
|
|
if previous_scale ~= SCALE then
|
|
|
|
desc_font = style.code_font:copy(
|
|
|
|
config.plugins.autocomplete.desc_font_size * SCALE
|
|
|
|
)
|
|
|
|
previous_scale = SCALE
|
|
|
|
end
|
|
|
|
|
|
|
|
local font = desc_font
|
|
|
|
local lh = font:get_height()
|
|
|
|
local y = sy + style.padding.y
|
|
|
|
local x = sx + sw + style.padding.x / 4
|
2021-07-20 20:39:50 +02:00
|
|
|
local width = 0
|
2022-02-03 19:55:01 +01:00
|
|
|
local char_width = font:get_width(" ")
|
|
|
|
local draw_left = false;
|
|
|
|
|
|
|
|
local max_chars = 0
|
|
|
|
if sx - av.position.x < av.size.x - (sx - av.position.x) - sw then
|
|
|
|
max_chars = (((av.size.x+av.position.x) - x) / char_width) - 5
|
|
|
|
else
|
|
|
|
draw_left = true;
|
|
|
|
max_chars = (
|
|
|
|
(sx - av.position.x - (style.padding.x / 4) - style.scrollbar_size)
|
|
|
|
/ char_width
|
|
|
|
) - 5
|
|
|
|
end
|
2021-07-20 20:39:50 +02:00
|
|
|
|
|
|
|
local lines = {}
|
|
|
|
for line in string.gmatch(text.."\n", "(.-)\n") do
|
2022-02-03 19:55:01 +01:00
|
|
|
local wrapper_lines = wrap_line(line, max_chars)
|
|
|
|
if type(wrapper_lines) == "table" then
|
|
|
|
for _, wrapped_line in pairs(wrapper_lines) do
|
|
|
|
width = math.max(width, font:get_width(wrapped_line))
|
|
|
|
table.insert(lines, wrapped_line)
|
|
|
|
end
|
|
|
|
else
|
|
|
|
width = math.max(width, font:get_width(line))
|
|
|
|
table.insert(lines, line)
|
|
|
|
end
|
2021-07-20 20:39:50 +02:00
|
|
|
end
|
|
|
|
|
2022-02-03 19:55:01 +01:00
|
|
|
if draw_left then
|
|
|
|
x = sx - (style.padding.x / 4) - width - (style.padding.x * 2)
|
|
|
|
end
|
|
|
|
|
|
|
|
local height = #lines * font:get_height()
|
2021-07-20 20:39:50 +02:00
|
|
|
|
|
|
|
-- draw background rect
|
|
|
|
renderer.draw_rect(
|
2022-02-03 19:55:01 +01:00
|
|
|
x,
|
2021-07-20 20:39:50 +02:00
|
|
|
sy,
|
|
|
|
width + style.padding.x * 2,
|
|
|
|
height + style.padding.y * 2,
|
|
|
|
style.background3
|
|
|
|
)
|
|
|
|
|
|
|
|
-- draw text
|
|
|
|
for _, line in pairs(lines) do
|
|
|
|
common.draw_text(
|
2022-02-03 19:55:01 +01:00
|
|
|
font, style.text, line, "left",
|
|
|
|
x + style.padding.x, y, width, lh
|
2021-07-20 20:39:50 +02:00
|
|
|
)
|
|
|
|
y = y + lh
|
|
|
|
end
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
|
|
|
|
local function draw_suggestions_box(av)
|
2021-07-20 20:39:50 +02:00
|
|
|
if #suggestions <= 0 then
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
local ah = config.plugins.autocomplete.max_height
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
-- draw background rect
|
2023-08-26 16:50:48 +02:00
|
|
|
local rx, ry, rw, rh, has_icons = get_suggestions_rect(av)
|
2019-12-28 12:16:32 +01:00
|
|
|
renderer.draw_rect(rx, ry, rw, rh, style.background3)
|
|
|
|
|
|
|
|
-- draw text
|
|
|
|
local font = av:get_font()
|
2020-05-11 20:37:50 +02:00
|
|
|
local lh = font:get_height() + style.padding.y
|
|
|
|
local y = ry + style.padding.y / 2
|
2024-03-06 04:56:01 +01:00
|
|
|
local show_count = math.min(#suggestions, ah)
|
|
|
|
local start_index = suggestions_offset
|
2023-08-26 16:50:48 +02:00
|
|
|
local hide_info = config.plugins.autocomplete.hide_info
|
2021-07-20 20:39:50 +02:00
|
|
|
|
|
|
|
for i=start_index, start_index+show_count-1, 1 do
|
|
|
|
if not suggestions[i] then
|
|
|
|
break
|
|
|
|
end
|
|
|
|
local s = suggestions[i]
|
2023-08-26 16:50:48 +02:00
|
|
|
|
|
|
|
local icon_l_padding, icon_r_padding = 0, 0
|
|
|
|
|
|
|
|
if has_icons then
|
|
|
|
local icon = s.icon or s.info
|
|
|
|
if icon and autocomplete.icons[icon] then
|
|
|
|
local ifont = autocomplete.icons[icon].font
|
|
|
|
local itext = autocomplete.icons[icon].char
|
|
|
|
local icolor = autocomplete.icons[icon].color
|
|
|
|
if i == suggestions_idx then
|
|
|
|
icolor = style.accent
|
|
|
|
elseif type(icolor) == "string" then
|
|
|
|
icolor = style.syntax[icolor]
|
|
|
|
end
|
|
|
|
if config.plugins.autocomplete.icon_position == "left" then
|
|
|
|
common.draw_text(
|
|
|
|
ifont, icolor, itext, "left", rx + style.padding.x, y, rw, lh
|
|
|
|
)
|
|
|
|
icon_l_padding = ifont:get_width(itext) + (style.padding.x / 2)
|
|
|
|
else
|
|
|
|
common.draw_text(
|
|
|
|
ifont, icolor, itext, "right", rx, y, rw - style.padding.x, lh
|
|
|
|
)
|
|
|
|
icon_r_padding = ifont:get_width(itext) + (style.padding.x / 2)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2024-03-06 04:29:17 +01:00
|
|
|
local info_size = style.font:get_width(s.info) + style.padding.x
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
local color = (i == suggestions_idx) and style.accent or style.text
|
2024-03-06 04:29:17 +01:00
|
|
|
-- Push clip to avoid that the suggestion text gets drawn over suggestion type/icon
|
|
|
|
core.push_clip_rect(rx + icon_l_padding + style.padding.x, y,
|
|
|
|
rw - info_size - icon_l_padding - icon_r_padding - style.padding.x, lh)
|
|
|
|
local x_adv = common.draw_text(
|
2023-08-26 16:50:48 +02:00
|
|
|
font, color, s.text, "left",
|
|
|
|
rx + icon_l_padding + style.padding.x, y, rw, lh
|
|
|
|
)
|
2024-03-06 04:29:17 +01:00
|
|
|
core.pop_clip_rect()
|
|
|
|
-- If the text wasn't fully visible, draw an ellipsis
|
|
|
|
if x_adv > rx + rw - info_size - icon_r_padding then
|
|
|
|
local ellipsis_size = font:get_width("…")
|
|
|
|
local ell_x = rx + rw - info_size - icon_r_padding - ellipsis_size
|
|
|
|
renderer.draw_rect(ell_x, y, ellipsis_size, lh, style.background3)
|
|
|
|
common.draw_text(font, color, "…", "left", ell_x, y, ellipsis_size, lh)
|
|
|
|
end
|
2023-08-26 16:50:48 +02:00
|
|
|
if s.info and not hide_info then
|
2020-05-11 20:37:50 +02:00
|
|
|
color = (i == suggestions_idx) and style.text or style.dim
|
2023-08-26 16:50:48 +02:00
|
|
|
common.draw_text(
|
|
|
|
style.font, color, s.info, "right",
|
|
|
|
rx, y, rw - icon_r_padding - style.padding.x, lh
|
|
|
|
)
|
2020-05-11 20:37:50 +02:00
|
|
|
end
|
|
|
|
y = y + lh
|
2021-07-20 20:39:50 +02:00
|
|
|
if suggestions_idx == i then
|
2022-02-03 19:55:01 +01:00
|
|
|
if s.onhover then
|
|
|
|
s.onhover(suggestions_idx, s)
|
|
|
|
s.onhover = nil
|
2021-07-20 20:39:50 +02:00
|
|
|
end
|
|
|
|
if s.desc and #s.desc > 0 then
|
|
|
|
draw_description_box(s.desc, av, rx, ry, rw, rh)
|
|
|
|
end
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
|
2021-07-20 20:39:50 +02:00
|
|
|
renderer.draw_rect(rx, y, rw, 2, style.caret)
|
|
|
|
renderer.draw_rect(rx, y+2, rw, lh, style.background)
|
|
|
|
common.draw_text(
|
|
|
|
style.font,
|
|
|
|
style.accent,
|
|
|
|
"Items",
|
|
|
|
"left",
|
|
|
|
rx + style.padding.x, y, rw, lh
|
|
|
|
)
|
|
|
|
common.draw_text(
|
|
|
|
style.font,
|
|
|
|
style.accent,
|
|
|
|
tostring(suggestions_idx) .. "/" .. tostring(#suggestions),
|
|
|
|
"right",
|
|
|
|
rx, y, rw - style.padding.x, lh
|
|
|
|
)
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2021-07-20 20:39:50 +02:00
|
|
|
local function show_autocomplete()
|
2019-12-28 12:16:32 +01:00
|
|
|
local av = get_active_view()
|
|
|
|
if av then
|
|
|
|
-- update partial symbol and suggestions
|
|
|
|
partial = get_partial_symbol()
|
2021-07-20 20:39:50 +02:00
|
|
|
|
|
|
|
if #partial >= config.plugins.autocomplete.min_len or triggered_manually then
|
2020-05-11 20:37:50 +02:00
|
|
|
update_suggestions()
|
2021-07-20 20:39:50 +02:00
|
|
|
|
|
|
|
if not triggered_manually then
|
|
|
|
last_line, last_col = av.doc:get_selection()
|
|
|
|
else
|
|
|
|
local line, col = av.doc:get_selection()
|
|
|
|
local char = av.doc:get_char(line, col-1, line, col-1)
|
|
|
|
|
|
|
|
if char:match("%s") or (char:match("%p") and col ~= last_col) then
|
|
|
|
reset_suggestions()
|
|
|
|
end
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
else
|
|
|
|
reset_suggestions()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- scroll if rect is out of bounds of view
|
|
|
|
local _, y, _, h = get_suggestions_rect(av)
|
|
|
|
local limit = av.position.y + av.size.y
|
|
|
|
if y + h > limit then
|
|
|
|
av.scroll.to.y = av.scroll.y + y + h - limit
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2021-07-20 20:39:50 +02:00
|
|
|
--
|
|
|
|
-- Patch event logic into RootView and Doc
|
|
|
|
--
|
|
|
|
local on_text_input = RootView.on_text_input
|
|
|
|
local on_text_remove = Doc.remove
|
|
|
|
local update = RootView.update
|
|
|
|
local draw = RootView.draw
|
|
|
|
|
|
|
|
RootView.on_text_input = function(...)
|
|
|
|
on_text_input(...)
|
|
|
|
show_autocomplete()
|
|
|
|
end
|
|
|
|
|
|
|
|
Doc.remove = function(self, line1, col1, line2, col2)
|
|
|
|
on_text_remove(self, line1, col1, line2, col2)
|
|
|
|
|
|
|
|
if triggered_manually and line1 == line2 then
|
|
|
|
if last_col >= col1 then
|
|
|
|
reset_suggestions()
|
|
|
|
else
|
|
|
|
show_autocomplete()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
|
|
|
|
RootView.update = function(...)
|
|
|
|
update(...)
|
|
|
|
|
|
|
|
local av = get_active_view()
|
|
|
|
if av then
|
|
|
|
-- reset suggestions if caret was moved
|
|
|
|
local line, col = av.doc:get_selection()
|
2021-07-20 20:39:50 +02:00
|
|
|
|
|
|
|
if not triggered_manually then
|
|
|
|
if line ~= last_line or col ~= last_col then
|
|
|
|
reset_suggestions()
|
|
|
|
end
|
|
|
|
else
|
|
|
|
if line ~= last_line or col < last_col then
|
|
|
|
reset_suggestions()
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
RootView.draw = function(...)
|
|
|
|
draw(...)
|
|
|
|
|
|
|
|
local av = get_active_view()
|
|
|
|
if av then
|
|
|
|
-- draw suggestions box after everything else
|
|
|
|
core.root_view:defer_draw(draw_suggestions_box, av)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2021-07-20 20:39:50 +02:00
|
|
|
--
|
|
|
|
-- Public functions
|
|
|
|
--
|
|
|
|
function autocomplete.open(on_close)
|
|
|
|
triggered_manually = true
|
|
|
|
|
|
|
|
if on_close then
|
|
|
|
autocomplete.on_close = on_close
|
|
|
|
end
|
|
|
|
|
|
|
|
local av = get_active_view()
|
2022-10-25 23:20:31 +02:00
|
|
|
if av then
|
|
|
|
partial = get_partial_symbol()
|
|
|
|
last_line, last_col = av.doc:get_selection()
|
|
|
|
update_suggestions()
|
|
|
|
end
|
2021-07-20 20:39:50 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
function autocomplete.close()
|
|
|
|
reset_suggestions()
|
|
|
|
end
|
|
|
|
|
|
|
|
function autocomplete.is_open()
|
|
|
|
return #suggestions > 0
|
|
|
|
end
|
|
|
|
|
|
|
|
function autocomplete.complete(completions, on_close)
|
|
|
|
reset_suggestions()
|
|
|
|
|
|
|
|
autocomplete.map_manually = {}
|
|
|
|
autocomplete.add(completions, true)
|
|
|
|
|
|
|
|
autocomplete.open(on_close)
|
|
|
|
end
|
|
|
|
|
|
|
|
function autocomplete.can_complete()
|
|
|
|
if #partial >= config.plugins.autocomplete.min_len then
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
|
2023-08-26 16:50:48 +02:00
|
|
|
---Register a font icon that can be assigned to completion items.
|
|
|
|
---@param name string
|
|
|
|
---@param character string
|
|
|
|
---@param font? renderer.font
|
|
|
|
---@param color? string | renderer.color A style.syntax[] name or specific color
|
|
|
|
function autocomplete.add_icon(name, character, font, color)
|
|
|
|
local color_type = type(color)
|
|
|
|
assert(
|
|
|
|
not color or color_type == "table"
|
|
|
|
or (color_type == "string" and style.syntax[color]),
|
|
|
|
"invalid icon color given"
|
|
|
|
)
|
|
|
|
autocomplete.icons[name] = {
|
|
|
|
char = character,
|
|
|
|
font = font or style.code_font,
|
|
|
|
color = color or "keyword"
|
|
|
|
}
|
|
|
|
end
|
|
|
|
|
|
|
|
--
|
|
|
|
-- Register built-in syntax symbol types icon
|
|
|
|
--
|
|
|
|
for name, _ in pairs(style.syntax) do
|
|
|
|
autocomplete.add_icon(name, "M", style.icon_font, name)
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
|
2021-07-20 20:39:50 +02:00
|
|
|
--
|
|
|
|
-- Commands
|
|
|
|
--
|
2019-12-28 12:16:32 +01:00
|
|
|
local function predicate()
|
2022-08-14 01:56:58 +02:00
|
|
|
local active_docview = get_active_view()
|
|
|
|
return active_docview and #suggestions > 0, active_docview
|
2019-12-28 12:16:32 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
command.add(predicate, {
|
2022-08-14 01:56:58 +02:00
|
|
|
["autocomplete:complete"] = function(dv)
|
|
|
|
local doc = dv.doc
|
2022-02-03 19:55:01 +01:00
|
|
|
local item = suggestions[suggestions_idx]
|
|
|
|
local inserted = false
|
|
|
|
if item.onselect then
|
|
|
|
inserted = item.onselect(suggestions_idx, item)
|
|
|
|
end
|
|
|
|
if not inserted then
|
2022-09-13 04:41:50 +02:00
|
|
|
local current_partial = get_partial_symbol()
|
2023-04-07 18:54:52 +02:00
|
|
|
local sz = #current_partial
|
|
|
|
|
2024-03-06 04:56:01 +01:00
|
|
|
for _, line1, col1, line2, _ in doc:get_selections(true) do
|
2023-04-07 18:54:52 +02:00
|
|
|
local n = col1 - 1
|
|
|
|
local line = doc.lines[line1]
|
|
|
|
for i = 1, sz + 1 do
|
|
|
|
local j = sz - i
|
|
|
|
local subline = line:sub(n - j, n)
|
|
|
|
local subpartial = current_partial:sub(i, -1)
|
|
|
|
if subpartial == subline then
|
|
|
|
doc:remove(line1, col1, line2, n - j)
|
|
|
|
break
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
doc:text_input(item.text)
|
2022-02-03 19:55:01 +01:00
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
reset_suggestions()
|
|
|
|
end,
|
|
|
|
|
|
|
|
["autocomplete:previous"] = function()
|
2022-12-06 11:21:14 +01:00
|
|
|
suggestions_idx = (suggestions_idx - 2) % #suggestions + 1
|
2024-03-06 04:56:01 +01:00
|
|
|
|
|
|
|
local ah = math.min(config.plugins.autocomplete.max_height, #suggestions)
|
|
|
|
if suggestions_offset > suggestions_idx then
|
|
|
|
suggestions_offset = suggestions_idx
|
|
|
|
elseif suggestions_offset + ah < suggestions_idx + 1 then
|
|
|
|
suggestions_offset = suggestions_idx - ah + 1
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
end,
|
|
|
|
|
|
|
|
["autocomplete:next"] = function()
|
2022-12-06 11:21:14 +01:00
|
|
|
suggestions_idx = (suggestions_idx % #suggestions) + 1
|
2024-03-06 04:56:01 +01:00
|
|
|
|
|
|
|
local ah = math.min(config.plugins.autocomplete.max_height, #suggestions)
|
|
|
|
if suggestions_offset + ah < suggestions_idx + 1 then
|
|
|
|
suggestions_offset = suggestions_idx - ah + 1
|
|
|
|
elseif suggestions_offset > suggestions_idx then
|
|
|
|
suggestions_offset = suggestions_idx
|
|
|
|
end
|
2019-12-28 12:16:32 +01:00
|
|
|
end,
|
|
|
|
|
2021-09-08 16:46:21 +02:00
|
|
|
["autocomplete:cycle"] = function()
|
|
|
|
local newidx = suggestions_idx + 1
|
|
|
|
suggestions_idx = newidx > #suggestions and 1 or newidx
|
|
|
|
end,
|
|
|
|
|
2019-12-28 12:16:32 +01:00
|
|
|
["autocomplete:cancel"] = function()
|
|
|
|
reset_suggestions()
|
|
|
|
end,
|
|
|
|
})
|
|
|
|
|
2021-07-20 20:39:50 +02:00
|
|
|
--
|
|
|
|
-- Keymaps
|
|
|
|
--
|
2019-12-28 12:16:32 +01:00
|
|
|
keymap.add {
|
2021-09-09 05:55:25 +02:00
|
|
|
["tab"] = "autocomplete:complete",
|
2019-12-28 12:16:32 +01:00
|
|
|
["up"] = "autocomplete:previous",
|
|
|
|
["down"] = "autocomplete:next",
|
|
|
|
["escape"] = "autocomplete:cancel",
|
|
|
|
}
|
2020-05-11 20:37:50 +02:00
|
|
|
|
|
|
|
|
|
|
|
return autocomplete
|