id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc,focuses 5113,text widget should have a text formatting option,Denis-de-Bernardy,,"people need it on sometimes, and off other times (e.g. for a javascript). having the option to do this out of the box would be convenient.",enhancement,closed,normal,2.8,Widgets,2.7,normal,fixed,has-patch tested commit,,