games/RedMew
games/RedMew
1
0
Fork 0
mirror of https://github.com/Refactorio/RedMew.git synced 2024-12-14 10:13:13 +02:00
Code Issues Releases Activity

Merge pull request #869 from grilledham/debugger/layout_fixes

Browse Source 
Debugger/layout fixes
This commit is contained in:
grilledham 2019-03-09 15:09:25 +00:00 committed by GitHub
commit 8a83b91900
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
5 changed files with 15 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
features/gui/debug/_g_view.lua
View File

@ -50,7 +50,8 @@ local ignore = {
script = true, script = true,
util = true, util = true,
mod_gui = true, mod_gui = true,
game = true game = true,
rendering = true
} }
local header_name = Gui.uid_name() local header_name = Gui.uid_name()
@ -75,13 +76,14 @@ function Public.show(container)
end end
local right_panel = main_flow.add {type = 'text-box', name = right_panel_name} local right_panel = main_flow.add {type = 'text-box', name = right_panel_name}
right_panel.word_wrap = true
right_panel.read_only = true right_panel.read_only = true
right_panel.selectable = true right_panel.selectable = true
local right_panel_style = right_panel.style local right_panel_style = right_panel.style
right_panel_style.vertically_stretchable = true right_panel_style.vertically_stretchable = true
right_panel_style.horizontally_stretchable = true right_panel_style.horizontally_stretchable = true
right_panel_style.maximal_width = 1000
right_panel_style.maximal_height = 1000
Gui.set_data(left_panel, {right_panel = right_panel, selected_header = nil}) Gui.set_data(left_panel, {right_panel = right_panel, selected_header = nil})
end end

4
features/gui/debug/global_view.lua
View File

@ -41,6 +41,7 @@ function Public.show(container)
local input_text_box_style = input_text_box.style local input_text_box_style = input_text_box.style
input_text_box_style.horizontally_stretchable = true input_text_box_style.horizontally_stretchable = true
input_text_box_style.height = 32 input_text_box_style.height = 32
input_text_box_style.maximal_width = 1000
local refresh_button = local refresh_button =
right_top_flow.add {type = 'sprite-button', name = refresh_name, sprite = 'utility/reset', tooltip = 'refresh'} right_top_flow.add {type = 'sprite-button', name = refresh_name, sprite = 'utility/reset', tooltip = 'refresh'}
@ -49,13 +50,14 @@ function Public.show(container)
refresh_button_style.height = 32 refresh_button_style.height = 32
local right_panel = right_flow.add {type = 'text-box', name = right_panel_name} local right_panel = right_flow.add {type = 'text-box', name = right_panel_name}
right_panel.word_wrap = true
right_panel.read_only = true right_panel.read_only = true
right_panel.selectable = true right_panel.selectable = true
local right_panel_style = right_panel.style local right_panel_style = right_panel.style
right_panel_style.vertically_stretchable = true right_panel_style.vertically_stretchable = true
right_panel_style.horizontally_stretchable = true right_panel_style.horizontally_stretchable = true
right_panel_style.maximal_width = 1000
right_panel_style.maximal_height = 1000
local data = { local data = {
right_panel = right_panel, right_panel = right_panel,

2
features/gui/debug/main_view.lua
View File

@ -78,7 +78,7 @@ Gui.on_click(
end end
local selected_tab_button = frame_data.selected_tab_button local selected_tab_button = frame_data.selected_tab_button
selected_tab_button.style.font_color = Color.white selected_tab_button.style.font_color = Color.black
frame_data.selected_tab_button = element frame_data.selected_tab_button = element
frame_data.selected_index = index frame_data.selected_index = index

5
features/gui/debug/package_view.lua
View File

@ -54,15 +54,18 @@ function Public.show(container)
local top_panel = right_flow.add {type = 'scroll-pane', name = top_panel_name} local top_panel = right_flow.add {type = 'scroll-pane', name = top_panel_name}
local top_panel_style = top_panel.style local top_panel_style = top_panel.style
top_panel_style.height = 200 top_panel_style.height = 200
top_panel_style.maximal_width = 1000
top_panel_style.horizontally_stretchable = true
local text_box = right_flow.add {type = 'text-box', name = text_box_name} local text_box = right_flow.add {type = 'text-box', name = text_box_name}
text_box.word_wrap = true
text_box.read_only = true text_box.read_only = true
text_box.selectable = true text_box.selectable = true
local text_box_style = text_box.style local text_box_style = text_box.style
text_box_style.vertically_stretchable = true text_box_style.vertically_stretchable = true
text_box_style.horizontally_stretchable = true text_box_style.horizontally_stretchable = true
text_box_style.maximal_width = 1000
text_box_style.maximal_height = 1000
local data = { local data = {
left_panel = left_panel, left_panel = left_panel,

4
features/gui/debug/redmew_global_view.lua
View File

@ -38,6 +38,7 @@ function Public.show(container)
local input_text_box_style = input_text_box.style local input_text_box_style = input_text_box.style
input_text_box_style.horizontally_stretchable = true input_text_box_style.horizontally_stretchable = true
input_text_box_style.height = 32 input_text_box_style.height = 32
input_text_box_style.maximal_width = 1000
local refresh_button = local refresh_button =
right_top_flow.add {type = 'sprite-button', name = refresh_name, sprite = 'utility/reset', tooltip = 'refresh'} right_top_flow.add {type = 'sprite-button', name = refresh_name, sprite = 'utility/reset', tooltip = 'refresh'}
@ -46,13 +47,14 @@ function Public.show(container)
refresh_button_style.height = 32 refresh_button_style.height = 32
local right_panel = right_flow.add {type = 'text-box', name = right_panel_name} local right_panel = right_flow.add {type = 'text-box', name = right_panel_name}
right_panel.word_wrap = true
right_panel.read_only = true right_panel.read_only = true
right_panel.selectable = true right_panel.selectable = true
local right_panel_style = right_panel.style local right_panel_style = right_panel.style
right_panel_style.vertically_stretchable = true right_panel_style.vertically_stretchable = true
right_panel_style.horizontally_stretchable = true right_panel_style.horizontally_stretchable = true
right_panel_style.maximal_width = 1000
right_panel_style.maximal_height = 1000
local data = { local data = {
right_panel = right_panel, right_panel = right_panel,