Attachment 194619 Details for Bug 344598 – quick workaround

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] quick workaround

ie_cpu_issue.patch (text/plain), 2.64 KB, created by Tim Buschtoens

on 2011-05-03 14:09:53 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Tim Buschtoens

Created: 2011-05-03 14:09:53 EDT

Size: 2.64 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.rap.rwt.q07
>Index: js/org/eclipse/swt/theme/AppearancesBase.js
>===================================================================
>RCS file: /cvsroot/rt/org.eclipse.rap/runtime.rwt/org.eclipse.rap.rwt.q07/js/org/eclipse/swt/theme/AppearancesBase.js,v
>retrieving revision 1.238
>diff -u -r1.238 AppearancesBase.js
>--- js/org/eclipse/swt/theme/AppearancesBase.js	18 Apr 2011 11:01:27 -0000	1.238
>+++ js/org/eclipse/swt/theme/AppearancesBase.js	3 May 2011 17:57:52 -0000
>@@ -991,7 +991,11 @@
>       borderWidths[ 2 ] = borderBottom.getWidthBottom();
>       borderStyles[ 2 ] = borderBottom.getStyleBottom();
>       borderColors[ 2 ] = borderBottom.getColorBottom();
>-      result.border = new org.eclipse.rwt.Border( borderWidths, borderStyles, borderColors );
>+      if( borderWidths[ 2 ] == 0 ) {
>+        result.border = new org.eclipse.rwt.Border( 0, "rounded", "black", 0 );
>+      } else {
>+        result.border = new org.eclipse.rwt.Border( borderWidths, borderStyles, borderColors );
>+      }
>       return result;
>     }
>   },
>@@ -1331,7 +1335,11 @@
>       borderWidths[ 2 ] = borderBottom.getWidthBottom();
>       borderStyles[ 2 ] = borderBottom.getStyleBottom();
>       borderColors[ 2 ] = borderBottom.getColorBottom();
>-      result.border = new org.eclipse.rwt.Border( borderWidths, borderStyles, borderColors );
>+      if( borderWidths[ 2 ] == 0 ) {
>+        result.border = new org.eclipse.rwt.Border( 0, "rounded", "black", 0 );
>+      } else {
>+        result.border = new org.eclipse.rwt.Border( borderWidths, borderStyles, borderColors );
>+      }
>       return result;
>     }
>   },
>Index: js/org/eclipse/swt/theme/ThemeStore.js
>===================================================================
>RCS file: /cvsroot/rt/org.eclipse.rap/runtime.rwt/org.eclipse.rap.rwt.q07/js/org/eclipse/swt/theme/ThemeStore.js,v
>retrieving revision 1.38
>diff -u -r1.38 ThemeStore.js
>--- js/org/eclipse/swt/theme/ThemeStore.js	14 Apr 2011 14:03:47 -0000	1.38
>+++ js/org/eclipse/swt/theme/ThemeStore.js	3 May 2011 17:57:52 -0000
>@@ -209,7 +209,10 @@
>       if( style === "solid" || style === "none" || style === null ) {
>         var radiiKey = this._getCssValue( element, states, "border-radius", theme );
>         var radii = this._values.boxdims[ radiiKey ];
>-        if( radii != null && ( radii.join( "" ) !== "0000" ) ) {
>+        if( radii == null ) {
>+          radii = [ 0, 0, 0, 0 ];
>+        }
>+        if( radii != null ) {
>           var roundedBorderKey = key + "#" + radiiKey;
>           var roundedBorder = this._values.borders[ roundedBorderKey ];
>           if( !roundedBorder ) {

Actions: View | Diff

Attachments on bug 344598: 194619 | 194627 | 194713 | 194716