Bump version # to 4.0
rewrite local editor settings in terms of editor settings
fix local settings when chaging theme
Bug 413751 - Render download links using markdown
Bug 413751 - Add default appender behavior
Bug 413627 - Allow dynamic log level strategies
make editor settings data driven. Easy to add new settings.
use themedata.fontSettable property to show font size field instead of adding a new API
cleanup editor preferences