updated type hints for remaining graphics_element generic types
This commit is contained in:
@@ -153,7 +153,7 @@ local function load_settings(target, raw)
|
||||
end
|
||||
|
||||
-- create the config view
|
||||
---@param display graphics_element
|
||||
---@param display DisplayBox
|
||||
local function config_view(display)
|
||||
---@diagnostic disable-next-line: undefined-field
|
||||
local function exit() os.queueEvent("terminate") end
|
||||
|
||||
@@ -33,7 +33,7 @@ local cpair = core.cpair
|
||||
local ind_grn = style.ind_grn
|
||||
|
||||
-- create new front panel view
|
||||
---@param panel graphics_element main displaybox
|
||||
---@param panel DisplayBox main displaybox
|
||||
local function init(panel)
|
||||
local s_hi_box = style.theme.highlight_box
|
||||
local s_hi_bright = style.theme.highlight_box_bright
|
||||
|
||||
Reference in New Issue
Block a user