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