Skip to content
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

Commit

Permalink
Minor fix
Browse files Browse the repository at this point in the history
  • Loading branch information
TomMalbran committed Mar 13, 2014
1 parent ea07f8d commit ee0a92e
Showing 1 changed file with 3 additions and 4 deletions.
7 changes: 3 additions & 4 deletions src/extensions/default/CloseOthers/main.js
Original file line number Diff line number Diff line change
Expand Up @@ -41,9 +41,8 @@ define(function (require, exports, module) {
closeBelow = "file.close_below";

// Global vars and preferences
var menuEntriesShown = {},
menuItemsAdded = { closeBelow: false, closeOthers: false, closeAbove: false },
prefs = PreferencesManager.getExtensionPrefs("closeOthers");
var prefs = PreferencesManager.getExtensionPrefs("closeOthers"),
menuEntriesShown = {};

prefs.definePreference("below", "boolean", true);
prefs.definePreference("others", "boolean", true);
Expand Down Expand Up @@ -153,7 +152,7 @@ define(function (require, exports, module) {
}

/**
* Register the Commands and add the Menu Items if required on start up
* Register the Commands and add the Menu Items, if required
*/
function initializeCommands() {
var prefs = getPreferences();
Expand Down

0 comments on commit ee0a92e

Please sign in to comment.