Title: [119904] trunk/Source/WebCore
- Revision
- 119904
- Author
- [email protected]
- Date
- 2012-06-09 09:46:49 -0700 (Sat, 09 Jun 2012)
Log Message
Web Inspector: Pretty print should respect text editor indent setting.
https://bugs.webkit.org/show_bug.cgi?id=88713
Reviewed by Pavel Feldman.
* inspector/front-end/ScriptFormatter.js:
Modified Paths
Diff
Modified: trunk/Source/WebCore/ChangeLog (119903 => 119904)
--- trunk/Source/WebCore/ChangeLog 2012-06-09 16:29:59 UTC (rev 119903)
+++ trunk/Source/WebCore/ChangeLog 2012-06-09 16:46:49 UTC (rev 119904)
@@ -1,3 +1,12 @@
+2012-06-09 Vsevolod Vlasov <[email protected]>
+
+ Web Inspector: Pretty print should respect text editor indent setting.
+ https://bugs.webkit.org/show_bug.cgi?id=88713
+
+ Reviewed by Pavel Feldman.
+
+ * inspector/front-end/ScriptFormatter.js:
+
2012-06-09 Dan Bernstein <[email protected]>
Fixed the build after r119895.
Modified: trunk/Source/WebCore/inspector/front-end/ScriptFormatter.js (119903 => 119904)
--- trunk/Source/WebCore/inspector/front-end/ScriptFormatter.js 2012-06-09 16:29:59 UTC (rev 119903)
+++ trunk/Source/WebCore/inspector/front-end/ScriptFormatter.js 2012-06-09 16:46:49 UTC (rev 119904)
@@ -73,7 +73,7 @@
{
content = content.replace(/\r\n?|[\n\u2028\u2029]/g, "\n").replace(/^\uFEFF/, '');
const method = "format";
- var parameters = { mimeType: mimeType, content: content, indentString: " " };
+ var parameters = { mimeType: mimeType, content: content, indentString: WebInspector.settings.textEditorIndent.get() };
this._tasks.push({ data: parameters, callback: callback });
this._worker.postMessage({ method: method, params: parameters });
},
_______________________________________________
webkit-changes mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-changes
