tools - Moved script_manager to bottom of lower left panel and

moved executable_manager to middle of lower left panel
        to work around windows GTK window placement error.
This commit is contained in:
Bill Ferguson
2023-08-18 12:23:24 -04:00
parent 44ec01b136
commit 191aecacdf
2 changed files with 2 additions and 2 deletions

View File

@@ -106,7 +106,7 @@ local function install_module()
"executable manager", -- Visible name
true, -- expandable
false, -- resetable
{[dt.gui.views.lighttable] = {"DT_UI_CONTAINER_PANEL_LEFT_BOTTOM", 100}}, -- containers
{[dt.gui.views.lighttable] = {"DT_UI_CONTAINER_PANEL_LEFT_BOTTOM", 600}}, -- containers
dt.new_widget("box") -- widget
{
orientation = "vertical",

View File

@@ -933,7 +933,7 @@ local function install_module()
"script manager", -- Visible name
true, -- expandable
false, -- resetable
{[dt.gui.views.lighttable] = {"DT_UI_CONTAINER_PANEL_LEFT_BOTTOM", 600}}, -- containers
{[dt.gui.views.lighttable] = {"DT_UI_CONTAINER_PANEL_LEFT_BOTTOM", 100}}, -- containers
sm.widgets.main_box,
nil,-- view_enter
nil -- view_leave