p5.js-editor icon indicating copy to clipboard operation
p5.js-editor copied to clipboard

Problems with fixed width tabs on editor panel

Open lmccart opened this issue 9 years ago • 0 comments

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.

lmccart avatar Nov 24 '16 17:11 lmccart