Salut guys, here is a bug report with theme switching on osx: when swithing to a non default os x theme and then switch back, the fonts are smaller (i.e. look at the number of shared files on the low left). If you repeat the same steps as above more times, fonts become non readable.

Merci