Revision: 7179
Author: [email protected]
Date: Wed Nov 25 08:06:44 2009
Log: Minor TabLayoutPanel structural changes. Some doc cleanup.
Review: bruce (desk check)
http://code.google.com/p/google-web-toolkit/source/detail?r=7179
Modified:
/trunk/user/src/com/google/gwt/user/client/ui/SplitLayoutPanel.java
/trunk/user/src/com/google/gwt/user/client/ui/TabLayoutPanel.java
=======================================
--- /trunk/user/src/com/google/gwt/user/client/ui/SplitLayoutPanel.java Tue
Nov 24 14:38:02 2009
+++ /trunk/user/src/com/google/gwt/user/client/ui/SplitLayoutPanel.java Wed
Nov 25 08:06:44 2009
@@ -98,10 +98,6 @@
setElement(Document.get().createDivElement());
sinkEvents(Event.ONMOUSEDOWN | Event.ONMOUSEUP | Event.ONMOUSEMOVE
| Event.ONDBLCLICK);
-
- // TODO: This is a temporary hack to work around the fact that IE6/7
- // don't send mouse events for transparent elements. Whatever
solution
- // we come up with for styling splitters must take this into account.
getElement().getStyle().setBackgroundColor("white");
}
=======================================
--- /trunk/user/src/com/google/gwt/user/client/ui/TabLayoutPanel.java Tue
Nov 24 14:38:02 2009
+++ /trunk/user/src/com/google/gwt/user/client/ui/TabLayoutPanel.java Wed
Nov 25 08:06:44 2009
@@ -65,15 +65,15 @@
private static final int BIG_ENOUGH_TO_NOT_WRAP = 16384;
private static class Tab extends SimplePanel {
- private Element anchor;
+ private Element inner;
public Tab(Widget child) {
- super(Document.get().createSpanElement());
- getElement().appendChild(anchor =
Document.get().createAnchorElement());
+ super(Document.get().createDivElement());
+ getElement().appendChild(inner = Document.get().createDivElement());
setWidget(child);
setStyleName("gwt-TabLayoutPanelTab");
- anchor.setClassName("gwt-TabLayoutPanelTabInner");
+ inner.setClassName("gwt-TabLayoutPanelTabInner");
// TODO: float:left may not be enough. If there are tabs of
differeing
// heights, the shorter ones will top-align, rather than
bottom-align,
@@ -100,7 +100,7 @@
@Override
protected com.google.gwt.user.client.Element getContainerElement() {
- return anchor.cast();
+ return inner.cast();
}
}
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors
