Problems with fixed width tabs on editor panel

processing / p5.js-editor

Deprecated desktop editor for p5.js

https://p5js.org

MIT License

338 stars 91 forks source link

Open lmccart opened 7 years ago

lmccart commented 7 years ago

reposted from: Problems with fixed width tabs on editor panel

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.