darktable.gui.panel_set_size

function(
  panel : types.dt_ui_panel_t
  size : int
)

Sets the size in pixels of the specified panel. This only works for the left, right, and bottom panels.

• panel - types.dt_ui_panel_t - The panel to set the size of.
• size - int - The size to set the panel to.