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.

Sign up for GitHub

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

Jump to bottom

more file editor work #3662

Closed
johrstrom opened this issue Jul 8, 2024 · 0 comments · Fixed by #3924
Closed

more file editor work #3662

johrstrom opened this issue Jul 8, 2024 · 0 comments · Fixed by #3924
Assignees
@johrstrom
Labels
component/file_editor
Milestone
4.0

Comments

@johrstrom
Copy link
Contributor

With #3646 merged - it's still not quite right I think.

The left hand panel takes up a lot of real estate. Maybe this should be collapsible? It's also apparent that the filename is the item that makes it so large. Maybe this information can be moved altogether to make the left panel thinner.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@johrstrom johrstrom

Labels
component/file_editor
Projects
None yet
Milestone
4.0
Development

Successfully merging a pull request may close this issue.

better file editor layout OSC/ondemand
1 participant
@johrstrom