-
-
Notifications
You must be signed in to change notification settings - Fork 1.8k
Closed
Description
This is a follow up on PR #21334, where I made the comment below. We decided to address it at a later time in order to merge the PR.
One thing I noticed when I recorded the video in #21145 (comment) is that the minimum size of an empty pane is quite big, certainly larger than when the pane is not empty. It is not possible to make the Variable Explorer pane any smaller at the start of the video, when the pane is empty,
Originally posted by @jitseniesen in #21134 (comment)
Reactions are currently unavailable