Rewrite double.parse.

sdk/lib/core/string.dart

Index: sdk/lib/core/string.dart
diff --git a/sdk/lib/core/string.dart b/sdk/lib/core/string.dart
index ebcfe10950f9c9605b7712276dca64adb425f397..b884bbf3a4e177b20dc35c01a64b67a1230b2a17 100644
--- a/sdk/lib/core/string.dart
+++ b/sdk/lib/core/string.dart
@@ -145,10 +145,14 @@ abstract class String implements Comparable<String>, Pattern {
   String substring(int startIndex, [int endIndex]);
 
   /**
-   * Removes leading and trailing whitespace from a string. If the string
+   * Removes leading and trailing whitespace from a string.
+   *
+   * If the string

[Ivan Posva, 2013/05/18 00:45:43]

Strange wrap around.

[floitsch, 2013/05/20 13:15:29]

wanted to keep the diff small.
done.

    * contains leading or trailing whitespace a new string with no leading and
    * no trailing whitespace is returned. Otherwise, the string itself is
-   * returned.  Whitespace is defined as every Unicode character in the Zs, Zl
+   * returned.
+   *
+   * Whitespace is defined as every Unicode character in the Zs, Zl
    * and Zp categories (this includes no-break space), the spacing control
    * characters from 9 to 13 (tab, lf, vtab, ff and cr), and 0xfeff the BOM

[Ivan Posva, 2013/05/18 00:45:43]

Funnily enough "space" is not mentioned in the list. I guess this is because it
falls under the Zs category?

[floitsch, 2013/05/20 13:15:29]

Yes. It's the first one in the Zs category.
I updated the documentation.

    * character.