Version 1.5.0-dev.4.5

dart/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/webkit/WebkitPropertyDescriptor.java

 /*
  * Copyright (c) 2012, the Dart project authors.
  * 
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  * 
  * http://www.eclipse.org/legal/epl-v10.html
  * 
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
@@ skipping 110 matching lines @@
   private String name;
 
   private boolean enumerable;
 
   private boolean configurable;
 
   private WebkitRemoteObject value;
 
   @Override
   public int compareTo(WebkitPropertyDescriptor other) {
-    return getName().toUpperCase().compareTo(other.getName().toUpperCase());
+    String name0 = getName();
+    String name1 = other.getName();
+
+    // Special case names starting with `[[` (like [[class]]).   
+    if (name0.startsWith("[[")) {
+      name0 = "~" + name0;
+    }
+
+    if (name1.startsWith("[[")) {
+      name1 = "~" + name1;
+    }
+
+    return name0.compareToIgnoreCase(name1);
   }
 
   /**
    * A function which serves as a getter for the property, or undefined if there is no getter
    * (accessor descriptors only).
    */
   public WebkitRemoteObject getGetterFunction() {
     return getterFunction;
   }
 
@@ skipping 45 matching lines @@
   public boolean isWritable() {
     return writable;
   }
 
   @Override
   public String toString() {
     return "[" + name + "," + value + "]";
   }
 
 }