Ticket #183 (assigned enhancement)
change font size in other windows as well
|Reported by:||szabgab||Owned by:||azawawi|
We can change the font size in the main editor window but not in the
output and other windows.
Probably when someone changes the font size of the editor window
the font size of the other windows should also change the same way.