Version 1.20 not respecting explorer.openEditors.dynamicHeight config

[beeblebrox3]

• VSCode Version: 1.20.0-insider
• OS Version: ElementaryOS 0.4.1

When the setting explorer.openEditors.dynamicHeight is set to false the "open editors" panel should have a fixed height. This is not working on this version. On 1.19 (stable) is working fine.

Steps to Reproduce:

1. Set the setting explorer.openEditors.dynamicHeight to false

Reproduces without extensions: Yes

On the left is 1.20, on the right is 1.19.
Both are with the explorer.openEditors.dynamicHeight set to false and explorer.openEditors.visible set to 3.

[bpasero]

@isidorn can we now resize the open editors view?

[isidorn]

@bpasero yeah a user did it and it actually behaves fine. Try it out.
I should probably dump the dynamicHeight flag though

[beeblebrox3]

@isidorn really? :O
I really like this option :/

[isidorn]

@beeblebrox3 what do you like about this option that the current solution is not supporting?