Title: [141411] trunk/Source/WebCore
- Revision
- 141411
- Author
- [email protected]
- Date
- 2013-01-31 06:05:06 -0800 (Thu, 31 Jan 2013)
Log Message
Web Inspector: highlight backend languages as scripts
https://bugs.webkit.org/show_bug.cgi?id=108336
Reviewed by Vsevolod Vlasov.
Most languages have structure similar to js, so enabling default highlighter for them won't hurt.
* inspector/front-end/FileSystemWorkspaceProvider.js:
(WebInspector.FileSystemWorkspaceProvider.prototype._contentTypeForPath):
Modified Paths
Diff
Modified: trunk/Source/WebCore/ChangeLog (141410 => 141411)
--- trunk/Source/WebCore/ChangeLog 2013-01-31 13:48:12 UTC (rev 141410)
+++ trunk/Source/WebCore/ChangeLog 2013-01-31 14:05:06 UTC (rev 141411)
@@ -1,3 +1,15 @@
+2013-01-31 Pavel Feldman <[email protected]>
+
+ Web Inspector: highlight backend languages as scripts
+ https://bugs.webkit.org/show_bug.cgi?id=108336
+
+ Reviewed by Vsevolod Vlasov.
+
+ Most languages have structure similar to js, so enabling default highlighter for them won't hurt.
+
+ * inspector/front-end/FileSystemWorkspaceProvider.js:
+ (WebInspector.FileSystemWorkspaceProvider.prototype._contentTypeForPath):
+
2013-01-31 Andrey Adaikin <[email protected]>
Web Inspector: [Profiles] show launcher view upon deleting last profile type's header
Modified: trunk/Source/WebCore/inspector/front-end/FileSystemWorkspaceProvider.js (141410 => 141411)
--- trunk/Source/WebCore/inspector/front-end/FileSystemWorkspaceProvider.js 2013-01-31 13:48:12 UTC (rev 141410)
+++ trunk/Source/WebCore/inspector/front-end/FileSystemWorkspaceProvider.js 2013-01-31 14:05:06 UTC (rev 141411)
@@ -44,6 +44,8 @@
this._isolatedFileSystemModel.mapping().addEventListener(WebInspector.FileSystemMapping.Events.FileSystemRemoved, this._fileSystemRemoved, this);
}
+WebInspector.FileSystemWorkspaceProvider._scriptExtensions = ["js", "java", "cc", "cpp", "h", "cs", "py", "php"].keySet();
+
WebInspector.FileSystemWorkspaceProvider.prototype = {
/**
* @param {string} uri
@@ -120,7 +122,7 @@
if (extensionIndex !== -1)
extension = fileName.substring(extensionIndex + 1);
var contentType = WebInspector.resourceTypes.Other;
- if (extension === "js")
+ if (WebInspector.FileSystemWorkspaceProvider._scriptExtensions[extension])
return WebInspector.resourceTypes.Script;
if (extension === "css")
return WebInspector.resourceTypes.Stylesheet;
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
