Fixed issue with font type and lint height not being set when reloading brackets. https://github.com/MiguelCastillo/Brackets-Themes/issues/89