Hi, I just updated from SVN 13620 (skipping a lot of intermediate NBs since they had bugs which are apparently fixed in 13916) -- so I can't say for sure at which stage the change I am talking about was introduced...
Well, all tabs in main window now look ugly ! They are using a different font and have a blue line on top... the previous ones looked much better.
I wonder if this unrequired change was intentional and why, and whether there is any option in the Preference to revert to the previous look. Thanks