From: Matti Tahvonen <matti.tahvonen@itmill.com>
Date: Mon, 16 Jun 2008 08:58:53 +0000 (+0000)
Subject: fixes #1815 (opera, tray notifications);
X-Git-Tag: 6.7.0.beta1~4583
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=4aa6c3287d2ea07c733f40ff5f8f0b59267fe08e;p=vaadin-framework.git

fixes #1815 (opera, tray notifications);

svn changeset:4896/svn branch:trunk
---

diff --git a/src/com/itmill/toolkit/terminal/gwt/client/ui/Notification.java b/src/com/itmill/toolkit/terminal/gwt/client/ui/Notification.java
index 42ce1ade1f..267a07dcca 100644
--- a/src/com/itmill/toolkit/terminal/gwt/client/ui/Notification.java
+++ b/src/com/itmill/toolkit/terminal/gwt/client/ui/Notification.java
@@ -14,6 +14,7 @@ import com.google.gwt.user.client.Event;
 import com.google.gwt.user.client.Timer;
 import com.google.gwt.user.client.ui.HTML;
 import com.google.gwt.user.client.ui.Widget;
+import com.itmill.toolkit.terminal.gwt.client.BrowserInfo;
 
 public class Notification extends ToolkitOverlay {
 
@@ -133,6 +134,13 @@ public class Notification extends ToolkitOverlay {
                 if (opacity <= 0) {
                     cancel();
                     hide();
+                    if (BrowserInfo.get().isOpera()) {
+                        // tray notification on opera needs to explicitly define
+                        // size, reset it
+                        DOM.setStyleAttribute(getElement(), "width", "");
+                        DOM.setStyleAttribute(getElement(), "height", "");
+                    }
+
                 }
             }
         };
@@ -157,6 +165,11 @@ public class Notification extends ToolkitOverlay {
             break;
         case BOTTOM_RIGHT:
             DOM.setStyleAttribute(el, "position", "absolute");
+            if (BrowserInfo.get().isOpera()) {
+                // tray notification on opera needs explicitly defined size
+                DOM.setStyleAttribute(el, "width", getOffsetWidth() + "px");
+                DOM.setStyleAttribute(el, "height", getOffsetHeight() + "px");
+            }
             DOM.setStyleAttribute(el, "bottom", "0px");
             DOM.setStyleAttribute(el, "right", "0px");
             break;