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

Allow windows to be resized #66

Open
MarcThatcher opened this issue Jan 10, 2023 · 3 comments
Open

Allow windows to be resized #66

MarcThatcher opened this issue Jan 10, 2023 · 3 comments
Labels
enhancement New feature or request

Comments

@MarcThatcher
Copy link

Small point but it would be nice if one could change the width of the left hand window where the grammar is defined.
There's a scroll bar at the bottom but would be good to be able to see longer definitions / comments with reasonable font size.

@kzeitz
Copy link

kzeitz commented Jan 11, 2023

Yes agree!
If you generate a long error, the lexer/parser editor section get's small and you can't resize them at all.

@parrt
Copy link
Member

parrt commented Jan 14, 2023

I totally agree but my limited CSS skills have defeated me! haha. Would love some help here if you can figure out how to do that. It took me forever but I finally figured out how to resize the editor windows.

@parrt parrt added the enhancement New feature or request label Jan 14, 2023
@MarcThatcher
Copy link
Author

Ah, it's always the "nuts & bolts" that are a problem. I'd love to help but my CSS skills are even worse than my other programming skills....
If there's someone out there who can do it (I'm sure its not hard when you know how), it would be a real help!

Thanks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants