1
0
mirror of https://github.com/Refactorio/RedMew.git synced 2024-12-14 10:13:13 +02:00
RedMew/features/gui/debug/redmew_global_view.lua

130 lines
3.9 KiB
Lua
Raw Normal View History

2019-01-31 00:32:43 +02:00
local Gui = require 'utils.gui'
local Global = require 'utils.global'
local Token = require 'utils.token'
local Color = require 'resources.color_presets'
local Model = require 'features.gui.debug.model'
local dump = Model.dump
2019-02-02 19:26:41 +02:00
local dump_text = Model.dump_text
2019-01-31 00:32:43 +02:00
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 = 'Global'
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
for token_id, token_name in pairs(Global.names) do
local header = left_panel.add({type = 'flow'}).add {type = 'label', name = header_name, caption = token_name}
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
2019-03-09 17:01:44 +02:00
input_text_box_style.maximal_width = 1000
2019-01-31 00:32:43 +02:00
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
2019-03-09 17:01:44 +02:00
right_panel_style.maximal_width = 1000
right_panel_style.maximal_height = 1000
2019-01-31 00:32:43 +02:00
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 {'global.tokens[', token_id, ']'}
input_text_box.style.font_color = Color.black
local content = dump(Token.get_global(token_id)) or 'nil'
right_panel.text = content
end
)
2019-02-02 19:26:41 +02:00
local function update_dump(text_input, data, player)
2019-02-02 19:42:51 +02:00
local suc, ouput = dump_text(text_input.text, player)
if not suc then
2019-01-31 00:32:43 +02:00
text_input.style.font_color = Color.red
2019-02-02 19:26:41 +02:00
else
text_input.style.font_color = Color.black
data.right_panel.text = ouput
2019-01-31 00:32:43 +02:00
end
end
Gui.on_text_changed(
input_text_box_name,
function(event)
local element = event.element
local data = Gui.get_data(element)
2019-02-02 19:26:41 +02:00
update_dump(element, data, event.player)
2019-01-31 00:32:43 +02:00
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
2019-02-02 19:26:41 +02:00
update_dump(input_text_box, data, event.player)
2019-01-31 00:32:43 +02:00
end
)
return Public