Closed philipstarkey closed 5 years ago
Original comment by Chris Billington (Bitbucket: cbillington, GitHub: chrisjbillington).
Sure, I'll fix it. I know how to do it, it's too hard but not trivial either.
Original comment by Chris Billington (Bitbucket: cbillington, GitHub: chrisjbillington).
Original comment by Chris Billington (Bitbucket: cbillington, GitHub: chrisjbillington).
This was fixed in pull request #42
Original report (archived issue) by Philip Starkey (Bitbucket: pstarkey, GitHub: philipstarkey).
The new changes to the drag-drop-tab-bar are less than ideal for those managing a large number of tabs. Each tab now shrinks so that all tabs are visible at all times. This makes it hard to read the device name (and it can be difficult to distinguish devices if several have a similar name with a differing number at the end (e.g.
pulseblaster_3
,pulseblaster_4
).This should be fixed!