#539 possible fixes for rare listbox issues

This commit is contained in:
Mikayla
2024-09-28 22:35:22 +00:00
parent 4e3330d4b3
commit 85df0d61d5
9 changed files with 11 additions and 11 deletions

View File

@@ -19,7 +19,7 @@ local renderer = require("coordinator.renderer")
local sounder = require("coordinator.sounder")
local threads = require("coordinator.threads")
local COORDINATOR_VERSION = "v1.5.9"
local COORDINATOR_VERSION = "v1.5.10"
local CHUNK_LOAD_DELAY_S = 30.0

View File

@@ -29,7 +29,7 @@ local function init(parent, id)
local ps = iocontrol.get_db().fp.ps
-- root div
local root = Div{parent=parent,x=2,y=2,height=4,width=parent.get_width()-2,hidden=true}
local root = Div{parent=parent,x=2,y=2,height=4,width=parent.get_width()-2}
local entry = Div{parent=root,x=2,y=1,height=3,fg_bg=s_hi_bright}
local ps_prefix = "pkt_" .. id .. "_"

View File

@@ -146,7 +146,7 @@ local function init(panel, num_units)
local api_page = Div{parent=page_div,x=1,y=1,hidden=true}
local api_list = ListBox{parent=api_page,x=1,y=1,height=17,width=51,scroll_height=1000,fg_bg=style.fp.text_fg,nav_fg_bg=cpair(colors.gray,colors.lightGray),nav_active=cpair(colors.black,colors.gray)}
local _ = Div{parent=api_list,height=1,hidden=true} -- padding
local _ = Div{parent=api_list,height=1} -- padding
-- assemble page panes