Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(397)

Unified Diff: third_party/WebKit/Source/devtools/front_end/help/Help.js

Issue 2708413003: DevTools: make disable javascript setting temporary (Closed)
Patch Set: default global Created 3 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: third_party/WebKit/Source/devtools/front_end/help/Help.js
diff --git a/third_party/WebKit/Source/devtools/front_end/help/Help.js b/third_party/WebKit/Source/devtools/front_end/help/Help.js
index 7d3b6cb5988000a976d49ad969d4c53767e0fd8e..b2028f32698a3405e65f127599f57e263aeeaca4 100644
--- a/third_party/WebKit/Source/devtools/front_end/help/Help.js
+++ b/third_party/WebKit/Source/devtools/front_end/help/Help.js
@@ -35,7 +35,7 @@ Help._getReleaseNoteByVersion = function(version) {
Help.releaseNoteVersionSetting = function() {
if (!Help._releaseNoteVersionSetting) {
/** @type {!Common.Setting} */
- Help._releaseNoteVersionSetting = Common.settings.createSetting('releaseNoteVersionSeen', 0, false);
+ Help._releaseNoteVersionSetting = Common.settings.createSetting('releaseNoteVersionSeen', 0);
}
return Help._releaseNoteVersionSetting;
};

Powered by Google App Engine
This is Rietveld 408576698