Merge remote-tracking branch 'origin/develop' into develop

This commit is contained in:
Weblate 2018-07-09 10:17:20 +00:00
commit 42b77bfc48

View file

@ -170,15 +170,15 @@ const Notifier = {
value: true, value: true,
}); });
}); });
// clear the notifications_hidden flag, so that if notifications are
// disabled again in the future, we will show the banner again.
this.setToolbarHidden(true);
} else { } else {
dis.dispatch({ dis.dispatch({
action: "notifier_enabled", action: "notifier_enabled",
value: false, value: false,
}); });
} }
// set the notifications_hidden flag, as the user has knowingly interacted
// with the setting we shouldn't nag them any further
this.setToolbarHidden(true);
}, },
isEnabled: function() { isEnabled: function() {