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@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@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
