GTInspector

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

Andrei Chis <[hidden email]> writes:

> What we already did is to make the labels of tabs resizable as you
> shrink the window or you have two many tabs.
Stupid queston. What's wrong with Menues?

Regards
Friedrich

_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev