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

Commit 3afa289

Browse files
committed
Merge pull request #9030 from MarcelGerber/errors-statusbar-pref
Make "Show Errors in Status Bar" pref more solid
2 parents 5442320 + 8a29009 commit 3afa289

1 file changed

Lines changed: 11 additions & 4 deletions

File tree

  • src/extensions/default/DebugCommands

src/extensions/default/DebugCommands/main.js

Lines changed: 11 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -237,10 +237,11 @@ define(function (require, exports, module) {
237237
}
238238

239239
function toggleErrorNotification(bool) {
240-
var val;
240+
var val,
241+
oldPref = !!PreferencesManager.get(DEBUG_SHOW_ERRORS_IN_STATUS_BAR);
241242

242-
if (typeof bool === "undefined") {
243-
val = !PreferencesManager.get(DEBUG_SHOW_ERRORS_IN_STATUS_BAR);
243+
if (bool === undefined) {
244+
val = !oldPref;
244245
} else {
245246
val = !!bool;
246247
}
@@ -249,7 +250,9 @@ define(function (require, exports, module) {
249250

250251
// update menu
251252
CommandManager.get(DEBUG_SHOW_ERRORS_IN_STATUS_BAR).setChecked(val);
252-
PreferencesManager.set(DEBUG_SHOW_ERRORS_IN_STATUS_BAR, val);
253+
if (val !== oldPref) {
254+
PreferencesManager.set(DEBUG_SHOW_ERRORS_IN_STATUS_BAR, val);
255+
}
253256
}
254257

255258
function handleOpenBracketsSource() {
@@ -287,6 +290,10 @@ define(function (require, exports, module) {
287290

288291
enableRunTestsMenuItem();
289292
toggleErrorNotification(PreferencesManager.get(DEBUG_SHOW_ERRORS_IN_STATUS_BAR));
293+
294+
PreferencesManager.on("change", DEBUG_SHOW_ERRORS_IN_STATUS_BAR, function () {
295+
toggleErrorNotification(PreferencesManager.get(DEBUG_SHOW_ERRORS_IN_STATUS_BAR));
296+
});
290297

291298
/*
292299
* Debug menu

0 commit comments

Comments
 (0)