Can't reduce height of output window in IDE

[breakmt]

Godot version:
3.1 beta 8

Issue description:
I always wonder why minimal height of Output window is so large?
I tried to make it smaller, but size is locked.
Is it possible to make this locked minimal height smaller (at least twice)?

[ankitpriyarup]

Addressed it here #26415

[siddharth952]

Is the issue still relevant to work upon?
@akien-mga

[Calinou]

@siddharth952 The pull request fixing this was closed because it also made the default size of the Output panel smaller. If you can find a way to make the minimum size smaller only, then you can submit a pull request 😃

[hbina]

Am I crazy to think that this is a misnomer? Instead of setting a lower-bound for the size of editor, I think this is simply setting the size?

godot/scene/gui/control.cpp

Line 145 in ac58abf

void Control::set_custom_minimum_size(const Size2 &p_custom) {

[KoBeWi]

Soo, the problem here is that the RichTextLabel we need to resize is inside a container. Changing minimum size will automatically make the container fit the label to that size and it doesn't seem to be possible to set the size. After further investigation, this is caused by editor's VSplitContainer, which seems to be adding the size you set manually on top of the minimal size (when you e.g. expand the log by dragging and then make minimal size lower, the log will be shrunk by the size difference :/ ).

Seems like it might not be possible to change this locally and would require some changes on how editor handles bottom dock tabs. This might disqualify this issue as a Junior Job.

[jiqz]

@siddharth952 The pull request fixing this was closed because it also made the default size of the Output panel smaller. If you can find a way to make the minimum size smaller only, then you can submit a pull request 😃

These panels appear to default to their minimum size, but perhaps by having a minimum size and a default size (the size the panel opens up as), this problem could be averted. Including a customisable minimum and default panel size option in the Editor Settings also makes Godot more useable on smaller screens when the user would like to have multiple panels open.