Title: [210772] trunk/Source/WebInspectorUI
- Revision
- 210772
- Author
- [email protected]
- Date
- 2017-01-14 22:27:41 -0800 (Sat, 14 Jan 2017)
Log Message
Web Inspector: Cmd-, should open Settings tab
https://bugs.webkit.org/show_bug.cgi?id=167028
Patch by Devin Rousso <[email protected]> on 2017-01-14
Reviewed by Timothy Hatcher.
* UserInterface/Base/Main.js:
(WebInspector.contentLoaded):
(WebInspector._showSettingsTab): Added.
Modified Paths
Diff
Modified: trunk/Source/WebInspectorUI/ChangeLog (210771 => 210772)
--- trunk/Source/WebInspectorUI/ChangeLog 2017-01-15 05:06:37 UTC (rev 210771)
+++ trunk/Source/WebInspectorUI/ChangeLog 2017-01-15 06:27:41 UTC (rev 210772)
@@ -1,3 +1,14 @@
+2017-01-14 Devin Rousso <[email protected]>
+
+ Web Inspector: Cmd-, should open Settings tab
+ https://bugs.webkit.org/show_bug.cgi?id=167028
+
+ Reviewed by Timothy Hatcher.
+
+ * UserInterface/Base/Main.js:
+ (WebInspector.contentLoaded):
+ (WebInspector._showSettingsTab): Added.
+
2017-01-13 Devin Rousso <[email protected]>
Web Inspector: Settings tab is restored when reopening inspector
Modified: trunk/Source/WebInspectorUI/UserInterface/Base/Main.js (210771 => 210772)
--- trunk/Source/WebInspectorUI/UserInterface/Base/Main.js 2017-01-15 05:06:37 UTC (rev 210771)
+++ trunk/Source/WebInspectorUI/UserInterface/Base/Main.js 2017-01-15 06:27:41 UTC (rev 210772)
@@ -258,6 +258,8 @@
this.settingsTabContentView = new WebInspector.SettingsTabContentView;
+ this._settingsKeyboardShortcut = new WebInspector.KeyboardShortcut(WebInspector.KeyboardShortcut.Modifier.CommandOrControl, WebInspector.KeyboardShortcut.Key.Comma, this._showSettingsTab.bind(this));
+
// Create the user interface elements.
this.toolbar = new WebInspector.Toolbar(document.getElementById("toolbar"), null, true);
this.toolbar.displayMode = WebInspector.Toolbar.DisplayMode.IconOnly;
@@ -568,6 +570,11 @@
this.showNewTabTab();
};
+WebInspector._showSettingsTab = function(event)
+{
+ this.tabBrowser.showTabForContentView(this.settingsTabContentView);
+};
+
WebInspector._tryToRestorePendingTabs = function()
{
let stillPendingOpenTabs = [];
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
