@@ -20,8 +20,8 @@ define(function (require, exports, module) {
2020 preferences = PreferencesManager . getExtensionPrefs ( "interactive-linter" ) ,
2121 linterManager = require ( "linterManager" ) ,
2222 pluginManager = require ( "pluginManager" ) ;
23-
24- require ( "lintIndicator" ) ;
23+
24+ require ( "lintIndicator" ) ;
2525 require ( "lintPanel" ) ;
2626 require ( "linterSettings" ) ;
2727
@@ -134,7 +134,7 @@ define(function (require, exports, module) {
134134 */
135135 function setDocument ( evt , currentEditor , previousEditor ) {
136136 if ( ! preferences . get ( "enabled" ) ) {
137- return ;
137+ return ;
138138 }
139139
140140 if ( previousEditor ) {
@@ -151,42 +151,41 @@ define(function (require, exports, module) {
151151 }
152152 }
153153
154-
155- function init ( ) {
156- CodeInspection . register ( "javascript" , {
157- name : "interactive-linter-remove-jslint" ,
158- scanFile : $ . noop
159- } ) ;
160-
161- // Load up plugins and wait til they are done loading before we
162- // register any handlers into Brackets
163- pluginManager ( ) . done ( function ( plugins ) {
164- for ( var iPlugin in plugins ) {
165- linterManager . registerLinter ( plugins [ iPlugin ] ) ;
166- }
167-
168- EditorManager . on ( "activeEditorChange.interactive-linter" , setDocument ) ;
169- setDocument ( null , EditorManager . getActiveEditor ( ) ) ;
170-
171- // If the linters change, then make sure to rebind the document with the new linter
172- var lastLinters ;
173- preferences . on ( "change" , function ( ) {
174- var editor = EditorManager . getActiveEditor ( ) ;
175- if ( ! editor ) {
176- return ;
177- }
178-
179- var language = editor . document . getLanguage ( ) . getId ( ) ;
180- var linters = preferences . get ( language ) ;
181-
182- if ( linters && ! _ . isEqual ( linters , lastLinters ) ) {
183- lastLinters = linters . slice ( 0 ) ;
184- handleDocumentChange ( ) ;
185- }
186- } ) ;
187154
188- } ) ;
189- }
155+ function init ( ) {
156+ CodeInspection . register ( "javascript" , {
157+ name : "interactive-linter-remove-jslint" ,
158+ scanFile : $ . noop
159+ } ) ;
160+
161+ // Load up plugins and wait til they are done loading before we
162+ // register any handlers into Brackets
163+ pluginManager ( ) . done ( function ( plugins ) {
164+ for ( var iPlugin in plugins ) {
165+ linterManager . registerLinter ( plugins [ iPlugin ] ) ;
166+ }
167+
168+ EditorManager . on ( "activeEditorChange.interactive-linter" , setDocument ) ;
169+ setDocument ( null , EditorManager . getActiveEditor ( ) ) ;
170+
171+ // If the linters change, then make sure to rebind the document with the new linter
172+ var lastLinters ;
173+ preferences . on ( "change" , function ( ) {
174+ var editor = EditorManager . getActiveEditor ( ) ;
175+ if ( ! editor ) {
176+ return ;
177+ }
178+
179+ var language = editor . document . getLanguage ( ) . getId ( ) ;
180+ var linters = preferences . get ( language ) ;
181+
182+ if ( linters && ! _ . isEqual ( linters , lastLinters ) ) {
183+ lastLinters = linters . slice ( 0 ) ;
184+ handleDocumentChange ( ) ;
185+ }
186+ } ) ;
187+ } ) ;
188+ }
190189
191190
192191 function appReady ( ) {
@@ -196,10 +195,10 @@ define(function (require, exports, module) {
196195 } else {
197196 preferences . on ( "change" , function handleChange ( ) {
198197 if ( preferences . get ( "enabled" ) ) {
199- preferences . off ( "change" , handleChange ) ;
198+ preferences . off ( "change" , handleChange ) ;
200199 init ( ) ;
201200 }
202- } ) ;
203- }
201+ } ) ;
202+ }
204203 }
205204} ) ;
0 commit comments