id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1289	Source view textarea is bigger than it should be	Frederico Caldeira Knabben		"Just load the editor and switch to the source view. Note that the source editing area (textarea) is cut at the right and the bottom). 

Also, note the effect when using the mousewheel inside of it... the entire editor will move up and down."	Bug	closed	Must have (possibly next milestone)	Opera Compatibility	UI : Source View		duplicate		Hallvord R. M. Steen (Opera Software)