DevTools: Fix displayName for workers in console selector

BUG=

Review URL: https://codereview.chromium.org/468123002

git-svn-id: svn://svn.chromium.org/blink/trunk@180181 bbb929c8-8fbe-4397-9dbb-9b2b20218538

third_party/WebKit/Source/devtools/front_end/console/ConsoleView.js

@@ -281,14 +281,16 @@ WebInspector.ConsoleView.prototype = {
      */
     _titleFor: function(executionContext)
     {
-        var result = executionContext.name;
-        if (executionContext.isMainWorldContext && executionContext.frameId) {
+        var result;
+        if (executionContext.isMainWorldContext) {
+            if (executionContext.frameId) {
                 var frame = executionContext.target().resourceTreeModel.frameForId(executionContext.frameId);
-            result =  frame ? frame.displayName() : result;
+                result =  frame ? frame.displayName() : executionContext.name;
+            } else {
+                result = WebInspector.displayNameForURL(executionContext.name)
             }
-
-        if (!executionContext.isMainWorldContext)
-            result = "\u00a0\u00a0\u00a0\u00a0" + result;
+        } else
+            result = "\u00a0\u00a0\u00a0\u00a0" + executionContext.name;
 
         var maxLength = 50;
         return result.trimMiddle(maxLength);