diff options
| author | Jackson Moore <jacksonmoore@tuta.io> | 2026-09-04 11:37:58 +0200 |
|---|---|---|
| committer | Jackson Moore <jacksonmoore@tuta.io> | 2026-09-04 11:37:58 +0200 |
| commit | 9b45bf9f8d21087520dd2a2edcb655e00283f956 (patch) | |
| tree | 44b99b2d6de0125edbbaa507405291232dcdc442 /lua/clever_f/feedback_service.lua | |
| parent | 846277adf74fe59367b4c76280ed76fce10d1528 (diff) | |
Assign high overlay priorities
Diffstat (limited to 'lua/clever_f/feedback_service.lua')
| -rw-r--r-- | lua/clever_f/feedback_service.lua | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lua/clever_f/feedback_service.lua b/lua/clever_f/feedback_service.lua index 81f913f..138d053 100644 --- a/lua/clever_f/feedback_service.lua +++ b/lua/clever_f/feedback_service.lua @@ -6,6 +6,15 @@ FeedbackService.__index = FeedbackService M.FeedbackService = FeedbackService M.DEFAULT_LABEL_GROUP = "CleverFDefaultLabel" +M.Priority = { + HIGH = "high", + ORDINARY = "ordinary", +} + +local OVERLAY_PRIORITIES = { + CleverFCursor = M.Priority.HIGH, + CleverFChar = M.Priority.HIGH, +} local service_records = setmetatable({}, { __mode = "k" }) @@ -45,6 +54,14 @@ function M.default_label_definition() return copy(DEFAULT_LABEL_DEFINITION) end +function M.overlay_priority(group) + local priority = OVERLAY_PRIORITIES[group] + if priority == nil then + error("unknown feedback overlay group '" .. tostring(group) .. "'", 2) + end + return priority +end + local function fail(message, level) error(message, (level or 1) + 1) end |
