Fixing Button bugs for Opera 9.63

zhourenjian · zhourenjian · commit 6d34e27316a0 · 2009-01-13T16:08:36.000Z
diff --git a/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/internal/browser/OS.java b/sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/internal/browser/OS.java
@@ -66,7 +66,7 @@ private OS() {
 	var geckoPos = dua.indexOf("Gecko");
 	os.isMozilla = (geckoPos >= 0)&&(!isKHTML);
 	os.isFirefox = os.isMozilla && dua.indexOf ("Firefox") != -1;
-	os.isIE = (document.all)&&(!os.isOpera);
+	os.isIE = (document.all!=null)&&(!os.isOpera);
 	os.isIE50 = os.isIE && dav.indexOf("MSIE 5.0")>=0;
 	os.isIE55 = os.isIE && dav.indexOf("MSIE 5.5")>=0;
 	os.isIE60 = os.isIE && dav.indexOf("MSIE 6.0")>=0;
@@ -830,6 +830,8 @@ public static int getFixedBodyClientHeight() {
 	    } else if (OS.isFirefox || OS.isSafari) {
 	        return (pcHeight == p.offsetHeight 
 	                && pcHeight == p.scrollHeight) ? bcHeight : pcHeight;
+	    } else if (OS.isOpera) {
+	    	return pcHeight;
 	    }
 	    return bcHeight;
 	}
