function _reloadUserPrefs(rootDir) {
        var prefsDir = brackets.app.getApplicationSupportDirectory() + "/";
        if (prefsDir.indexOf(rootDir.fullPath) === 0) {
            manager.fileChanged(userPrefFile);
            stateManager.fileChanged(userStateFile);
        }
    }
function _reloadUserPrefs(rootDir) {
        var prefsDir = brackets.app.getApplicationSupportDirectory() + "/";
        if (prefsDir.indexOf(rootDir.fullPath) === 0) {
            manager.fileChanged(userPrefFile);
            stateManager.fileChanged(userStateFile);
        }
    }
function _reloadUserPrefs ( rootDir ) { var prefsDir = brackets . app . getApplicationSupportDirectory ( ) + "/" ; if ( prefsDir . indexOf ( rootDir . fullPath ) === 0 ) { manager . fileChanged ( userPrefFile ) ; stateManager . fileChanged ( userStateFile ) ; } }
Listen for times where we might be unwatching a root that contains one of the user-level prefs files, and force a re-read of the file in order to ensure we can write to it later (see #7300).
Listen for times where we might be unwatching a root that contains one of the user - level prefs files and force a re - read of the file in order to ensure we can write to it later ( see #7300 ) .
Reloads the user preferences