-
Philipp Hörist authored
This should users get accustomed to the UI changes we plan for 1.3 Also it hides the problems with the not scrollable tabs list because much more tabs fit the window
d41e99f3
This should users get accustomed to the UI changes we plan for 1.3 Also it hides the problems with the not scrollable tabs list because much more tabs fit the window