Resizing a grid panel without shifting layout

[parzival418]

So I implemented a hotkey that will trigger a side panel to turn to zero using an animation loop. I added a right panel that can be dragged out by a user. However my left panel shrinks, and the one on the right grows. I would like the right panel to stay the same and have the middle one only expand.

Is there any way for me to achieve this? I am trying to do it with listener events between panels but it is super janky and not smooth.

Attached is a video of the behaviour I want to prevent from happening:

Screen.Recording.2023-09-29.at.12.42.50.AM.mov

[mathuo]

Are the two side panels additional dockview panels with hidden headers or part of a seperate gridview control?

[parzival418]

Quick question. Are these properties like snap and priority things I can set from the panel api inside the components programatically? Or only on the layout json?

[mathuo]

You can include both snap and priority when adding items to the Gridview through .addPanel(). Those flags don't exist on the Dockview since they don't make sense in that context. I will make sure I add all this to the gridview docs.

[mathuo]

Both this change and the floating group issues are currently available in an experimental build found here. An official build will follow soon.

[mathuo]

Released in version 1.8.4