Dear developers,

I have just noticed that changing the font size breaks the synchronisation between main source window and the sidebar with function names.

Cheers,

Misha