id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc 6001,Methods defined in theme.js file are not documented,Sa'ar Zac Elias,,"The functions defined in theme.js file, especially editor.resize() should be documented in the API docs.",Task,closed,Normal,,General,,fixed,,