2013/11/1, Lance Campbell <notifications@github.com>:
>> +        _browserReload(href);
>> +    }
>> +
>> +    function _handleNewBracketsWindow() {
>> +        window.open(window.location.href);
>> +    }
>> +
>> +    function _handleReloadWithoutUserExts() {
>> +        var href = window.location.href;
>> +
>> +        // Remove all menus to assure extension menus and menu items are
>> removed
>> +        _.forEach(Menus.getAllMenus(), function (value, key) {
>> +            Menus.removeMenu(key);
>> +        });
>> +
>> +        // Strip off any parameters
>
> Fixed.   I now check for the presence of string "reloadWithoutUserExts" in
> the href and only add it if it is missing.
>
> ---
> Reply to this email directly or view it on GitHub:
> https://github.com/adobe/brackets/pull/5620/files#r7373743