specific graphics element types rather than graphics_element

2024-09-25 21:21:12 +00:00
parent 741dd2467f
commit a4a59d4a3d
18 changed files with 100 additions and 100 deletions
--- a/coordinator/ui/layout/main_view.lua
+++ b/coordinator/ui/layout/main_view.lua
@@ -37,7 +37,7 @@ local function init(main)
    ping.register(facility.ps, "sv_ping", ping.update)
    datetime.register(facility.ps, "date_time", datetime.set_value)

-    ---@type graphics_element, graphics_element, graphics_element, graphics_element
+    ---@type Div, Div, Div, Div
    local uo_1, uo_2, uo_3, uo_4

    local cnc_y_start = 3