30 Sep
2014
30 Sep
'14
9:17 p.m.
What we already did is to make the labels of tabs resizable as you shrink
the window or you have two many tabs.
But we still need to improve.
On Tue, Sep 30, 2014 at 8:40 PM, Alexandre Bergel <alexandre.bergel(a)me.com>
wrote:
Hi!
Soon, we will face the problem of having too many tabs.
E.g.,
Any idea how to fix this?
Cheers,
Alexandre
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
