Revert "Revert "Support multiple DOM isolates and tweak devtools frontend to better handle large #s…

Source/devtools/front_end/sdk/RuntimeModel.js

Index: Source/devtools/front_end/sdk/RuntimeModel.js
diff --git a/Source/devtools/front_end/sdk/RuntimeModel.js b/Source/devtools/front_end/sdk/RuntimeModel.js
index f46f00365d7703f02dbb4c7c40fea679fb6e0b82..2661f18c6afa6eccb460c279e1b80fc34df856b1 100644
--- a/Source/devtools/front_end/sdk/RuntimeModel.js
+++ b/Source/devtools/front_end/sdk/RuntimeModel.js
@@ -198,7 +198,9 @@ WebInspector.ExecutionContext.comparator = function(a, b)
         return -1;
     if (b.isMainWorldContext)
         return +1;
-    return a.name.localeCompare(b.name);
+    var delta = a.name.localeCompare(b.name);
+    if (delta != 0) return delta;
+    return a.origin.localeCompare(b.origin);
 }
 
 WebInspector.ExecutionContext.prototype = {