Title: [204924] trunk/Source/WebInspectorUI
- Revision
- 204924
- Author
- [email protected]
- Date
- 2016-08-24 13:00:31 -0700 (Wed, 24 Aug 2016)
Log Message
Web Inspector: Shift-Tab should unindent selected line
https://bugs.webkit.org/show_bug.cgi?id=159316
Patch by Devin Rousso <[email protected]> on 2016-08-24
Reviewed by Joseph Pecoraro.
* UserInterface/Views/CodeMirrorAdditions.js:
(CodeMirror.keyMap["default"]):
Changed "Shift-Tab" mapping to "indentLess".
Modified Paths
Diff
Modified: trunk/Source/WebInspectorUI/ChangeLog (204923 => 204924)
--- trunk/Source/WebInspectorUI/ChangeLog 2016-08-24 19:52:07 UTC (rev 204923)
+++ trunk/Source/WebInspectorUI/ChangeLog 2016-08-24 20:00:31 UTC (rev 204924)
@@ -1,3 +1,14 @@
+2016-08-24 Devin Rousso <[email protected]>
+
+ Web Inspector: Shift-Tab should unindent selected line
+ https://bugs.webkit.org/show_bug.cgi?id=159316
+
+ Reviewed by Joseph Pecoraro.
+
+ * UserInterface/Views/CodeMirrorAdditions.js:
+ (CodeMirror.keyMap["default"]):
+ Changed "Shift-Tab" mapping to "indentLess".
+
2016-08-23 Devin Rousso <[email protected]>
Web Inspector: resource tree elements should provide "Download File" context menu items
Modified: trunk/Source/WebInspectorUI/UserInterface/Views/CodeMirrorAdditions.js (204923 => 204924)
--- trunk/Source/WebInspectorUI/UserInterface/Views/CodeMirrorAdditions.js 2016-08-24 19:52:07 UTC (rev 204923)
+++ trunk/Source/WebInspectorUI/UserInterface/Views/CodeMirrorAdditions.js 2016-08-24 20:00:31 UTC (rev 204924)
@@ -572,11 +572,6 @@
return lineRects;
});
- function ignoreKey(codeMirror)
- {
- // Do nothing to ignore the key.
- }
-
CodeMirror.keyMap["default"] = {
"Alt-Up": alterNumber.bind(null, 1),
"Ctrl-Alt-Up": alterNumber.bind(null, 0.1),
@@ -589,7 +584,7 @@
"Alt-PageDown": alterNumber.bind(null, -10),
"Shift-Alt-PageDown": alterNumber.bind(null, -100),
"Cmd-/": "toggleComment",
- "Shift-Tab": ignoreKey,
+ "Shift-Tab": "indentLess",
fallthrough: "macDefault"
};
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
