diff --git a/features/gui/debug/_g_view.lua b/features/gui/debug/_g_view.lua index df08bf12..43e74a63 100644 --- a/features/gui/debug/_g_view.lua +++ b/features/gui/debug/_g_view.lua @@ -50,7 +50,8 @@ local ignore = { script = true, util = true, mod_gui = true, - game = true + game = true, + rendering = true } local header_name = Gui.uid_name() @@ -75,13 +76,14 @@ function Public.show(container) end 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.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 Gui.set_data(left_panel, {right_panel = right_panel, selected_header = nil}) end diff --git a/features/gui/debug/global_view.lua b/features/gui/debug/global_view.lua index ab677a06..f41e066d 100644 --- a/features/gui/debug/global_view.lua +++ b/features/gui/debug/global_view.lua @@ -41,6 +41,7 @@ function Public.show(container) 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'} @@ -49,13 +50,14 @@ function Public.show(container) refresh_button_style.height = 32 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.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, diff --git a/features/gui/debug/package_view.lua b/features/gui/debug/package_view.lua index c75f2ca1..f2d18189 100644 --- a/features/gui/debug/package_view.lua +++ b/features/gui/debug/package_view.lua @@ -54,15 +54,18 @@ function Public.show(container) local top_panel = right_flow.add {type = 'scroll-pane', name = top_panel_name} local top_panel_style = top_panel.style 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} - text_box.word_wrap = true text_box.read_only = true text_box.selectable = true local text_box_style = text_box.style text_box_style.vertically_stretchable = true text_box_style.horizontally_stretchable = true + text_box_style.maximal_width = 1000 + text_box_style.maximal_height = 1000 local data = { left_panel = left_panel, diff --git a/features/gui/debug/redmew_global_view.lua b/features/gui/debug/redmew_global_view.lua index ffe23f6e..b7885b93 100644 --- a/features/gui/debug/redmew_global_view.lua +++ b/features/gui/debug/redmew_global_view.lua @@ -38,6 +38,7 @@ function Public.show(container) 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'} @@ -46,13 +47,14 @@ function Public.show(container) refresh_button_style.height = 32 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.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,