Move debug GUI out of legacy

2026-07-26 18:36:23 +09:00 · 2026-06-26 15:22:06 +01:00
parent 95bb8ac304
commit 8b3c437847
11 changed files with 31 additions and 29 deletions
@@ -0,0 +1,129 @@
+local Gui = require("modules/exp_scenario/gui/debug/shim") --- @dep utils.gui
+local Storage = require("modules/exp_util/storage")
+local Color = require("modules/exp_util/include/color")
+local Model = require("modules/exp_scenario/gui/debug/model") --- @dep modules.gui.debug.model
+
+local dump = Model.dump
+local dump_text = Model.dump_text
+local concat = table.concat
+
+local Public = {}
+
+local header_name = Gui.uid_name()
+local left_panel_name = Gui.uid_name()
+local right_panel_name = Gui.uid_name()
+local input_text_box_name = Gui.uid_name()
+local refresh_name = Gui.uid_name()
+
+Public.name = "Storage"
+
+function Public.show(container)
+    local main_flow = container.add{ type = "flow", direction = "horizontal" }
+
+    local left_panel = main_flow.add{ type = "scroll-pane", name = left_panel_name }
+    local left_panel_style = left_panel.style
+    left_panel_style.width = 300
+
+    --- @diagnostic disable-next-line invisible
+    for token_id in pairs(Storage._registered) do
+        local header = left_panel.add{ type = "flow" }.add{ type = "label", name = header_name, caption = token_id }
+        Gui.set_data(header, token_id)
+    end
+
+    local right_flow = main_flow.add{ type = "flow", direction = "vertical" }
+
+    local right_top_flow = right_flow.add{ type = "flow", direction = "horizontal" }
+
+    local input_text_box = right_top_flow.add{ type = "text-box", name = input_text_box_name }
+    local input_text_box_style = input_text_box.style
+    input_text_box_style.horizontally_stretchable = true
+    input_text_box_style.height = 32
+    input_text_box_style.maximal_width = 1000
+
+    local refresh_button =
+        right_top_flow.add{ type = "sprite-button", name = refresh_name, sprite = "utility/reset", tooltip = "refresh" }
+    local refresh_button_style = refresh_button.style
+    refresh_button_style.width = 32
+    refresh_button_style.height = 32
+
+    local right_panel = right_flow.add{ type = "text-box", name = right_panel_name }
+    right_panel.read_only = true
+    right_panel.selectable = true
+
+    local right_panel_style = right_panel.style
+    right_panel_style.vertically_stretchable = true
+    right_panel_style.horizontally_stretchable = true
+    right_panel_style.maximal_width = 1000
+    right_panel_style.maximal_height = 1000
+
+    local data = {
+        right_panel = right_panel,
+        input_text_box = input_text_box,
+        selected_header = nil,
+    }
+
+    Gui.set_data(input_text_box, data)
+    Gui.set_data(left_panel, data)
+    Gui.set_data(refresh_button, data)
+end
+
+Gui.on_click(
+    header_name,
+    function(event)
+        local element = event.element
+        local token_id = Gui.get_data(element)
+
+        local left_panel = element.parent.parent
+        local data = Gui.get_data(left_panel)
+        local right_panel = data.right_panel
+        local selected_header = data.selected_header
+        local input_text_box = data.input_text_box
+
+        if selected_header then
+            selected_header.style.font_color = Color.white
+        end
+
+        element.style.font_color = Color.orange
+        data.selected_header = element
+
+        input_text_box.text = concat{ "storage.exp_storage['", token_id, "']" }
+        input_text_box.style.font_color = Color.black
+
+        local content = dump(storage.exp_storage[token_id]) or "nil"
+        right_panel.text = content
+    end
+)
+
+local function update_dump(text_input, data, player)
+    local suc, ouput = dump_text(text_input.text, player)
+    if not suc then
+        text_input.style.font_color = Color.red
+    else
+        text_input.style.font_color = Color.black
+        data.right_panel.text = ouput
+    end
+end
+
+Gui.on_text_changed(
+    input_text_box_name,
+    function(event)
+        local element = event.element
+        local data = Gui.get_data(element)
+
+        update_dump(element, data, event.player)
+    end
+)
+
+Gui.on_click(
+    refresh_name,
+    function(event)
+        local element = event.element
+        local data = Gui.get_data(element)
+
+        local input_text_box = data.input_text_box
+
+        update_dump(input_text_box, data, event.player)
+    end
+)
+
+return Public