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

Problems with fixed width tabs on editor panel #1669

Closed
Geoffree3 opened this issue Nov 21, 2016 · 1 comment
Closed

Problems with fixed width tabs on editor panel #1669

Geoffree3 opened this issue Nov 21, 2016 · 1 comment

Comments

@Geoffree3
Copy link

The tabs on the editor panel are fixed width. This means that:

  • long filenames are not truncated but write outside to tab header (overwriting the one to the right if - there is no close "x", so cannot remove these tabs.
@lmccart
Copy link
Member

lmccart commented Nov 24, 2016

Thanks, I've posted this on the p5.js-editor repo issues list: processing/p5.js-editor#278

@lmccart lmccart closed this as completed Nov 24, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants