Skip to content
This repository has been archived by the owner on Jan 31, 2025. It is now read-only.

Minimum width for right pane is annoying #4652

Closed
pierricgimmig opened this issue Dec 20, 2022 · 2 comments
Closed

Minimum width for right pane is annoying #4652

pierricgimmig opened this issue Dec 20, 2022 · 2 comments
Assignees
@reichlfl
Labels
change request

Comments

@pierricgimmig
Copy link
Collaborator

There is a minimum width to the right pane that can be greater than half the screen width. This means that the right pane is either completely hidden, or that that it takes up more than half the horizontal space, with nothing in between. We should allow for arbitrary width.
@florian-kuebler
Copy link
Collaborator

I haven"t checked the code, but it seems that the maximum is somehow computed (or a fixed number of pixels). On my widescreen, the minimum width is more like one quarter of the screen, while when reducing the window size, it reaches the half.

@reichlfl Do you know about the reasoning about this decision?

@reichlfl
Copy link
Collaborator

I don"t know why this is the case. It should be fine to allow arbitrary widths, or at least significantly reduce the minimum width.

@ronaldfw ronaldfw closed this as not planned Won't fix, can't repro, duplicate, stale Jan 29, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@reichlfl reichlfl

Labels
change request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@florian-kuebler @pierricgimmig @ronaldfw @reichlfl