merge changes from releases/1.3 branch

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@363 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/distro-source/core/src/release_notes.html b/distro-source/core/src/release_notes.html
index 0c7e85f..43d0725 100644
--- a/distro-source/core/src/release_notes.html
+++ b/distro-source/core/src/release_notes.html
@@ -28,17 +28,32 @@
    <body>
       <h1>Google Web Toolkit Release Notes</h1>
       <ul>
-		    <li><a href="#Release_Notes_Current">1.3 Release Candidate (@GWT_VERSION@)</a></li>
-		    <li><a href="#Release_Notes_1_2_22">1.2 Release (1.2.22)</a></li>
-		    <li><a href="#Release_Notes_1_2_11">1.2 Release Candidate (1.2.11)</a></li>
-		    <li><a href="#Release_Notes_1_1_10">1.1 Release (1.1.10)</a></li>
-		    <li><a href="#Release_Notes_1_1_0">1.1 Release Candidate (1.1.0)</a></li>
-		    <li><a href="#Release_Notes_1_0_21">1.0 Release (1.0.21)</a></li>
+		    <li><a href="#Release_Notes_Current">@GWT_VERSION@</a></li>
+		    <li><a href="#Release_Notes_1_3_1">1.3.1 (RC)</a></li>
+		    <li><a href="#Release_Notes_1_2_22">1.2.22</a></li>
+		    <li><a href="#Release_Notes_1_2_11">1.2.21 (RC)</a></li>
+		    <li><a href="#Release_Notes_1_1_10">1.1.10</a></li>
+		    <li><a href="#Release_Notes_1_1_0">1.1.0 (RC)</a></li>
+		    <li><a href="#Release_Notes_1_0_21">1.0.21</a></li>
       </ul>
 
       <hr/>
       <a name="Release_Notes_Current"></a>
-      <h2>Release Notes for 1.3 Release Candidate (@GWT_VERSION@)</h2>
+      <h2>Release Notes for @GWT_VERSION@</h2>
+      <p>
+      This version has only minor functional changes from 1.3.1, listed below.
+      </p>
+
+      <h3>Fixed Issues</h3>
+      <ul>
+        <li><a href="http://code.google.com/p/google-web-toolkit/issues/detail?id=319">Issue #319 - Calling native super method in implementation class results in infinite loop in web mode</a></li>
+        <li><a href="http://code.google.com/p/google-web-toolkit/issues/detail?id=496">Issue #496 - gwt.js in gwt-user.jar lacks Apache 2.0 license header</a></li>
+        <li><a href="http://code.google.com/p/google-web-toolkit/issues/detail?id=497">Issue #497 - Unexpected internal compiler error - Analyzing permutation #1</a></li>
+      </ul>
+
+      <hr/>
+      <a name="Release_Notes_1_3_1"></a>
+      <h2>Release Notes for 1.3.1 (RC)</h2>
       <p>
       This is the Release Candidate for GWT 1.3, the first completely open source version of GWT. 
       This version has no new functionality, but we did make a lot of changes to get the source code and build scripts into presentable shape to prepare for ongoing open source development.
@@ -57,10 +72,10 @@
       
       <hr/>
       <a name="Release_Notes_1_2_22"></a>
-      <h2>Release Notes for 1.2 Release (1.2.22)</h2>
+      <h2>Release Notes for 1.2.22</h2>
       <p>
       This is the official GWT 1.2 release, the follow up to the <a href="#Release_Notes_1_2_11">GWT 1.2 Release Candidate</a>.
-      It includes all of the enhancements and bug fixes from GWT 1.2 RC as well as a few additional bug fixes that were reported against GWT 1.2 RC.
+      It includes all of the enhancements and bug fixes from GWT 1.2 RC as well as a few additional bug fixes that were reported against GWT 1.2 RC.</p>
       
       <h3>About OS X Hosted Mode Support</h3>
       GWT's hosted mode support is available only on OS X 1.4 (Tiger) or later.
@@ -82,13 +97,13 @@
 
       <hr/>
       <a name="Release_Notes_1_2_11"></a>
-      <h2>Release Notes for 1.2 Release Candidate (1.2.11)</h2>
+      <h2>Release Notes for 1.2.11 (RC)</h2>
       <p>
       This is the Release Candidate for GWT 1.2. 
       Between this build and the subsequent GWT 1.2 official release, changes are limited to issues unique to GWT 1.2 RC.
       
       <p>
-      See the GWT issue tracker for <a href="http://code.google.com/p/google-web-toolkit/issues/list?can=1&q=status%3AFixed%20milestone%3A1_2_RC">the complete list of enhancements and bug fixes</a> in this release.
+      See the GWT issue tracker for <a href="http://code.google.com/p/google-web-toolkit/issues/list?can=1&q=status%3AFixed%20milestone%3A1_2_RC">the complete list of enhancements and bug fixes</a> in this release.</p>
       
       <h3>New Features</h3>
       <ul>
@@ -105,8 +120,8 @@
       
       <hr/>
       <a name="Release_Notes_1_1_10"></a>
-      <h2>Release Notes for Release 1.1 (1.1.10)</h2>
-      <p>
+      <h2>Release Notes for 1.1.10</h2>
+      <p/>
       <h3>Fixed Issues</h3>
       <ul>
         <li>Normalized behavior of GWT.getModuleBaseURL() with respect to hosted mode, web mode, RPC, and automatic resource injection
@@ -189,8 +204,8 @@
       
       <hr/>
       <a name="Release_Notes_1_1_0"></a>
-      <h2>Release Notes for 1.1 Release Candidate (1.1.0)</h2>
-      <p>
+      <h2>Release Notes for 1.1.0 (RC)</h2>
+      <p/>
       <h3>New Features</h3>
       <ul>
         <li><b><a href="doc/html/com.google.gwt.user.client.ui.FileUpload.html">FileUpload widget</a></b><br>The much-requested file upload widget
@@ -382,8 +397,8 @@
 
       <hr/>
       <a name="Release_Notes_1_0_21"></a>
-      <h2>Release Notes for 1.0 (1.0.21)</h2>
-      <p>
+      <h2>Release Notes for 1.0.21</h2>
+      <p/>
       <h3>Fixed Issues</h3>
       <ul>
          <li><a href='http://code.google.com/webtoolkit/issues/5823700.html'>Issue #5823700 - GWT hosted mode does not work when IE 7 is installed</a>
diff --git a/user/src/com/google/gwt/user/client/impl/DOMImplSafari.java b/user/src/com/google/gwt/user/client/impl/DOMImplSafari.java
index a754120..c32e2ee 100644
--- a/user/src/com/google/gwt/user/client/impl/DOMImplSafari.java
+++ b/user/src/com/google/gwt/user/client/impl/DOMImplSafari.java
@@ -31,8 +31,10 @@
       // body's offset position already.
       var parent = elem.offsetParent;
       if (parent && (parent.tagName == 'BODY') &&
-          (elem.style.position == 'absolute'))
-        break;
+          (elem.style.position == 'absolute')) {
+        return left;
+      }
+      
       elem = parent;
     }
     return left + $doc.body.scrollLeft;
@@ -47,8 +49,10 @@
       // body's offset position already.
       var parent = elem.offsetParent;
       if (parent && (parent.tagName == 'BODY') &&
-          (elem.style.position == 'absolute'))
-        break;
+          (elem.style.position == 'absolute')) {
+        return top;
+      }
+      
       elem = parent;
     }
     return top + $doc.body.scrollTop;
diff --git a/user/test/com/google/gwt/user/client/ui/TextAreaTest.java b/user/test/com/google/gwt/user/client/ui/TextAreaTest.java
index d018e4e..2ed200a 100644
--- a/user/test/com/google/gwt/user/client/ui/TextAreaTest.java
+++ b/user/test/com/google/gwt/user/client/ui/TextAreaTest.java
@@ -21,7 +21,7 @@
 
   }
 
-  public void testSelection() {
+  public void disabledTestSelection() {
     TextArea area = new TextArea();
     assertEquals("", area.getSelectedText());
     area.selectAll();