TextEditor: font size

[andyj]

Thanks for adding the TextEditor extension.

There seems to be a problem with the font size function. It doesn't have any effect and is stuck to "size 2".
Not sure if this is deprecated in favour of point of pixel size???

A neat addition would also be View Source to toggle to html code. 

[stworthy]

The texteditor only has the basic built-in tools but you can extend them by yourself. Call 'getValue' method to get the html source code and call 'setValue' method to set html code again.