Title: [108800] trunk/Source/WebCore
- Revision
- 108800
- Author
- [email protected]
- Date
- 2012-02-24 07:54:04 -0800 (Fri, 24 Feb 2012)
Log Message
Web Inspector: Do not show scripts panel navigator automatically more than once to the same user.
https://bugs.webkit.org/show_bug.cgi?id=79489
Reviewed by Pavel Feldman.
* inspector/front-end/ScriptsPanel.js:
Modified Paths
Diff
Modified: trunk/Source/WebCore/ChangeLog (108799 => 108800)
--- trunk/Source/WebCore/ChangeLog 2012-02-24 15:51:14 UTC (rev 108799)
+++ trunk/Source/WebCore/ChangeLog 2012-02-24 15:54:04 UTC (rev 108800)
@@ -1,3 +1,12 @@
+2012-02-24 Vsevolod Vlasov <[email protected]>
+
+ Web Inspector: Do not show scripts panel navigator automatically more than once to the same user.
+ https://bugs.webkit.org/show_bug.cgi?id=79489
+
+ Reviewed by Pavel Feldman.
+
+ * inspector/front-end/ScriptsPanel.js:
+
2012-02-24 Philippe Normand <[email protected]>
Fix GTK WebAudio build for WebKitGTK 1.7.90.
Modified: trunk/Source/WebCore/inspector/front-end/ScriptsPanel.js (108799 => 108800)
--- trunk/Source/WebCore/inspector/front-end/ScriptsPanel.js 2012-02-24 15:51:14 UTC (rev 108799)
+++ trunk/Source/WebCore/inspector/front-end/ScriptsPanel.js 2012-02-24 15:54:04 UTC (rev 108800)
@@ -35,6 +35,7 @@
this.registerRequiredCSS("scriptsPanel.css");
WebInspector.settings.pauseOnExceptionStateString = WebInspector.settings.createSetting("pauseOnExceptionStateString", WebInspector.ScriptsPanel.PauseOnExceptionsState.DontPauseOnExceptions);
+ WebInspector.settings.navigatorWasOnceHidden = WebInspector.settings.createSetting("navigatorWasOnceHidden", false);
this._presentationModel = presentationModel;
@@ -958,7 +959,7 @@
_maybeShowNavigatorOverlay: function()
{
- if (this._navigator && WebInspector.settings.navigatorHidden.get() && !this._navigatorWasOnceHidden)
+ if (this._navigator && WebInspector.settings.navigatorHidden.get() && !WebInspector.settings.navigatorWasOnceHidden.get())
this._showNavigatorOverlay();
},
@@ -1041,7 +1042,7 @@
_navigatorOverlayWillHide: function(event)
{
delete this._navigatorOverlayShown;
- this._navigatorWasOnceHidden = true;
+ WebInspector.settings.navigatorWasOnceHidden.set(true);
this.editorView.element.appendChild(this._navigatorShowHideButton);
this._navigatorShowHideButton.removeStyleClass("toggled-on");
this._navigatorShowHideButton.title = WebInspector.UIString("Show scripts navigator");
_______________________________________________
webkit-changes mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-changes
