Hi everyone

Congratulations and thanks to the GWT team for the 1.1.0 release.

I've tracked down a TabPanel problem when using the insert method which
accepts the boolean asHTML argument. The 1.1.0 TabPanel overloaded
insert methods look like this:

  public void insert(Widget widget, String tabText, int beforeIndex) {
    children.insert(widget, beforeIndex);
    tabBar.insertTab(tabText, beforeIndex);
    deck.insert(widget, beforeIndex);
  }

  public void insert(Widget widget, String tabText, boolean asHTML,
      int beforeIndex) {
    // *** BUG?: missing children.insert(widget, beforeIndex)
    tabBar.insertTab(tabText, asHTML, beforeIndex);
    deck.insert(widget, beforeIndex);
  }

It looks like a bug to me, but could the GWT team please confirm and I
will go log a bug.

Thanks
Ben

Ben,

Thanks for catching this.  Looks like I missed a spot in the unit
tests!  I've noted it for the issues list, and will fix it as soon as
possible.

Thanks,
joel.

When is a fix expected for this? Tried to find a workaround but I dont
think there is a workaround since "children" is not accessible at all
outside the class.

Hello,
It would also be nice to access the VerticalPanel that is the top level
parent of the TabBar and the DeckPanel. This needed to be able to set
the setCellWidth and setCellHeight, for example, on the DeckPanel for
certain layout controls, especially when trying to get the TabPanel to
fit 100% vertically. The stylesheets provided don't give you access to
control the VerticalPanel's styles.

-Sam

I think that TabPanel should be fully filled be widgets placed on it.
At least this is how such type of control works in all GUI toolkits.

I mentioned this yesterday re a problem trying to get widgets t position
directly underneath the tabs.

The HTML for the tab panel is

<TABLE class=gwt-TabPanel cellSpacing=0 cellPadding=0><TBODY>
<TR>
<TD style="VERTICAL-ALIGN: top" align=left>

--Tab Stuff Here--

</TD></TR>
<TR>
<TD style="VERTICAL-ALIGN: top" align=left>
<DIV class=gwt-TabPanelBottom>

--Deck Stuff Here--

</DIV></TD></TR></TBODY></TABLE>

and a workaround to access the first TD is

       private TabPanel tp = new TabPanel();
       Element el = tp.getElement();
       el = DOM.getChild(el,0);
       el = DOM.getChild(el,0);
       el = DOM.getChild(el,0);
       DOM.setStyleAttribute(el,"height","1px");

pretty as a road crash, but it works

Ian

I really don't understand when people "solve" problems in open source
libraries by using some hacks instead of:

1. lobby correct behaviour

2. change library itself to fix problem

'workaround' doesn't mean the same as 'solve'

1.a I don't have the time
1.b The gwt team are aware of this problem

2.a I don't have the time
2.b It stays working whether it is fixed or not
2.c Not everyone can fix the problem in the library whereas most can copy
the workaround

Ian

On 15/08/06, Konstantin Scheglov <Konstantin.Scheg...@gmail.com> wrote:

a. You don't have time to change couple lines of code in GWT, but you
have time to look in dirty HTML/DOM tricks. Hm...

b. I'm not sure that it will work after fix.

c. It is always dangerous to use such workarounds if you don't
understand how they work. In any case you will be in trouble. Without
workaround your program does not work. With it - you have "black boxes"
in your software. Second one looks more dangerous.

So if you think changing gwt is the way to go and you know how to do it, why
didn't you post it?

I don't know anything about gwt, I've only been looking at it for 3 days.
I've never used Java before. I have no idea how to change gwt, or where, or
how to ensure all my changes remain in place when updates are released. HTML
I can cope with.

"Without workaround your program does not work. With it - you have "black
boxes" in your software. Second one looks more dangerous."

Damn! That's where I've been going wrong. I should have been ensuring that
none of my software works. I feel such a fool!

On 15/08/06, Konstantin Scheglov <Konstantin.Scheg...@gmail.com> wrote:

Ian Bambury писал(а):

  See at the end of message.

  Ok, now I understand. Sorry, I just thought that all people here know
and use Java.

  No. You should ensure that your software works. But also should known
HOW it works. Without this you will have unstable, unmaintable code.
What if workaround has bug? How will you fix it? What if it has some
side effect that you don't know and that will hurt you when you do
something in different place of your software?

  Here is code for TabPanel that I use:

/*
 * Copyright 2006 Google Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License"); you
may not
 * use this file except in compliance with the License. You may obtain
a copy of
 * the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT
 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See
the
 * License for the specific language governing permissions and
limitations under
 * the License.
 */
package com.google.gwt.user.client.ui;

import java.util.Iterator;

/**
 * A panel that represents a tabbed set of pages, each of which
contains another
 * widget. Its child widgets are shown as the user selects the various
tabs
 * associated with them. The tabs can contain arbitrary HTML.
 *
 * <p>
 * <img class='gallery' src='TabPanel.png'/>
 * </p>
 *
 * <p>
 * Note that this widget is not a panel per se, but rather a
 * {@link com.google.gwt.user.client.ui.Composite} that aggregates a
 * {@link com.google.gwt.user.client.ui.TabBar} and a
 * {@link com.google.gwt.user.client.ui.DeckPanel}. It does, however,
implement
 * {@link com.google.gwt.user.client.ui.HasWidgets}.
 * </p>
 *
 * <h3>CSS Style Rules</h3>
 * <ul class='css'>
 * <li>.gwt-TabPanel { the tab panel itself }</li>
 * <li>.gwt-TabPanelBottom { the bottom section of the tab panel (the
deck
 * containing the widget) }</li>
 * </ul>
 *
 * <p>
 * <h3>Example</h3> {@example com.google.gwt.examples.TabPanelExample}
 * </p>
 */
public class TabPanel extends Composite implements TabListener,
    SourcesTabEvents, HasWidgets, IndexedPanel {

  private WidgetCollection children = new WidgetCollection(this);
  private DeckPanel deck = new DeckPanel();
  private TabBar tabBar = new TabBar();
  private TabListenerCollection tabListeners;

  /**
   * Creates an empty tab panel.
   */
  public TabPanel() {
    VerticalPanel panel = new VerticalPanel();
    panel.add(tabBar);
    panel.add(deck);

    tabBar.setWidth("100%");

    panel.setCellHeight(deck, "100%");
    deck.setHeight("100%");

    tabBar.addTabListener(this);
    initWidget(panel);
    setStyleName("gwt-TabPanel");
    deck.setStyleName("gwt-TabPanelBottom");
  }

  public void add(Widget w) {
    throw new UnsupportedOperationException(
      "A tabText parameter must be specified with add().");
  }

  /**
   * Adds a widget to the tab panel.
   *
   * @param w the widget to be added
   * @param tabText the text to be shown on its tab
   */
  public void add(Widget w, String tabText) {
    insert(w, tabText, getWidgetCount());
  }

  /**
   * Adds a widget to the tab panel.
   *
   * @param w the widget to be added
   * @param tabText the text to be shown on its tab
   * @param asHTML <code>true</code> to treat the specified text as
HTML
   */
  public void add(Widget w, String tabText, boolean asHTML) {
    insert(w, tabText, asHTML, getWidgetCount());
  }

  public void addTabListener(TabListener listener) {
    if (tabListeners == null)
      tabListeners = new TabListenerCollection();
    tabListeners.add(listener);
  }

  public void clear() {
    while (getWidgetCount() > 0)
      remove(getWidget(0));
  }

  /**
   * Gets the deck panel within this tab panel.
   *
   * @return the deck panel
   */
  public DeckPanel getDeckPanel() {
    return deck;
  }

  /**
   * Gets the tab bar within this tab panel
   *
   * @return the tab bar
   */
  public TabBar getTabBar() {
    return tabBar;
  }

  public Widget getWidget(int index) {
    return children.get(index);
  }

  public int getWidgetCount() {
    return children.size();
  }

  public int getWidgetIndex(Widget widget) {
    return children.indexOf(widget);
  }

  /**
   * Inserts a widget into the tab panel.
   *
   * @param widget the widget to be inserted
   * @param tabText the text to be shown on its tab
   * @param asHTML <code>true</code> to treat the specified text as
HTML
   * @param beforeIndex the index before which it will be inserted
   */
  public void insert(Widget widget, String tabText, boolean asHTML,
      int beforeIndex) {
    children.insert(widget, beforeIndex);
    tabBar.insertTab(tabText, asHTML, beforeIndex);
    deck.insert(widget, beforeIndex);
  }

  /**
   * Inserts a widget into the tab panel.
   *
   * @param widget the widget to be inserted
   * @param tabText the text to be shown on its tab
   * @param beforeIndex the index before which it will be inserted
   */
  public void insert(Widget widget, String tabText, int beforeIndex) {
    children.insert(widget, beforeIndex);
    tabBar.insertTab(tabText, beforeIndex);
    deck.insert(widget, beforeIndex);
  }

  public Iterator iterator() {
    return children.iterator();
  }

  public boolean onBeforeTabSelected(SourcesTabEvents sender, int
tabIndex) {
    if (tabListeners != null)
      return tabListeners.fireBeforeTabSelected(this, tabIndex);
    return true;
  }

  public void onTabSelected(SourcesTabEvents sender, int tabIndex) {
    deck.showWidget(tabIndex);
    if (tabListeners != null)
      tabListeners.fireTabSelected(this, tabIndex);
  }

  public boolean remove(int index) {
    return remove(getWidget(index));
  }

  /**
   * Removes the given widget, and its associated tab.
   *
   * @param widget the widget to be removed
   */
  public boolean remove(Widget widget) {
    int index = getWidgetIndex(widget);
    if (index == -1)
      return false;

    children.remove(widget);
    tabBar.removeTab(index);
    deck.remove(widget);
    return true;
  }

  public void removeTabListener(TabListener listener) {
    if (tabListeners != null)
      tabListeners.remove(listener);
  }

  /**
   * Programmatically selects the specified tab.
   *
   * @param index the index of the tab to be selected
   */
  public void selectTab(int index) {
    tabBar.selectTab(index);
  }