Fixed issue with font type and lint height not being set when reloading brackets. #89

Author: MiguelCastillo

ThemeManager.js

@@ -383,6 +383,10 @@ define(function (require, exports, module) {
         $(EditorManager).on("activeEditorChange", function() {
             refresh();
         });
+
+        // Call to update fonts
+        ThemeView.updateFonts();
+        ThemeView.updateScrollbars();
     }
 
     //