Changed position of script manager to the center section of the left

wpferguson · wpferguson · commit 4a81b560f979 · 2020-05-23T16:54:24.000-04:00
panel at the bottom of the section.  This takes care of the problem
of darktable exceeding the vertical screen size and not being
scrollable.
diff --git a/tools/script_manager.lua b/tools/script_manager.lua
@@ -747,7 +747,7 @@ dt.register_lib(
   "script 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_CENTER", 0}},   -- containers
   dt.new_widget("box") -- widget
   {
     orientation = "vertical",

Original file line number	Diff line number	Diff line change
`@@ -747,7 +747,7 @@ dt.register_lib(`
`747`	`747`	`"script manager", -- Visible name`
`748`	`748`	`true, -- expandable`
`749`	`749`	`false, -- resetable`
`750`		`- {[dt.gui.views.lighttable] = {"DT_UI_CONTAINER_PANEL_LEFT_BOTTOM", 100}}, -- containers`
	`750`	`+ {[dt.gui.views.lighttable] = {"DT_UI_CONTAINER_PANEL_LEFT_CENTER", 0}}, -- containers`
`751`	`751`	`dt.new_widget("box") -- widget`
`752`	`752`	`{`
`753`	`753`	`orientation = "vertical",`