id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
183	change font size in other windows as well	szabgab	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.
"	enhancement	assigned	major		editor	0.21