Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

UI: Maintain more natural frame disposition when Console is in side bar #2162

Open
lionel- opened this issue Jan 30, 2024 · 0 comments
Open
Labels
area: ui Issues related to UI category.

Comments

@lionel-
Copy link
Contributor

lionel- commented Jan 30, 2024

Currently if you place the Console in the side bar, it sometimes feels like a struggle to maintain the disposition. The default size of the side bar is about 25% and Positron often reverts to it. This happens sometimes on restart, though that may just be a dev setup thing. One thing I can consistently reproduce is making the side bar go back to its 25% default by double clicking on the vertical separator.

Screen.Recording.2024-01-30.at.09.02.56.mov

In my case it'd be more natural to use a default of 50% split when the Console is in the side bar. This may be because I'm using a 13inch screen though, users of larger screens might prefer to give more real estate to their editors. Ideally this would be configurable by the user, as a general setting or even better as settings specific to a particular disposition type (Console-in-Panel versus Console-in-Side-Bar).

Relevant discussion on the VSCode side: microsoft/vscode#158603. In this issue users would like to configure and maintain different widths based on the selected view in the side bar. This seems relevant to us as well, if the user selects the Help view, the default width is too small for comfortable reading.

Based on this discussion, an alternative way of deciding the default width would be to say that whatever frame is holding the Console should have at a minimum a certain width (e.g. 40% or 50% by default).

@lionel- lionel- added this to the Release Candidate milestone Feb 23, 2024
@wesm wesm added the area: ui Issues related to UI category. label Feb 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area: ui Issues related to UI category.
Projects
None yet
Development

No branches or pull requests

2 participants