diff options
| author | Artur Signell <artur@vaadin.com> | 2012-03-21 14:35:45 +0200 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2012-03-21 15:28:19 +0200 |
| commit | 6228d899036a8d798bf2164d61fa0e001fe423cf (patch) | |
| tree | 80ec1148fa7c8062e2c09653017b628cb045b4ad /src | |
| parent | 5efc842094c837b3396aab35f855ca899ee1b74b (diff) | |
| download | vaadin-framework-6228d899036a8d798bf2164d61fa0e001fe423cf.tar.gz vaadin-framework-6228d899036a8d798bf2164d61fa0e001fe423cf.zip | |
Ensure the widget in the selected tab is always visible after a server visit
Diffstat (limited to 'src')
| -rw-r--r-- | src/com/vaadin/terminal/gwt/client/ui/VTabsheetPanel.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/com/vaadin/terminal/gwt/client/ui/VTabsheetPanel.java b/src/com/vaadin/terminal/gwt/client/ui/VTabsheetPanel.java index 126b0ebea1..68270da85e 100644 --- a/src/com/vaadin/terminal/gwt/client/ui/VTabsheetPanel.java +++ b/src/com/vaadin/terminal/gwt/client/ui/VTabsheetPanel.java @@ -141,8 +141,11 @@ public class VTabsheetPanel extends ComplexPanel { hide(DOM.getParent(visibleWidget.getElement())); } visibleWidget = newVisible; - unHide(DOM.getParent(visibleWidget.getElement())); } + // Always ensure the selected tab is visible. If server prevents a tab + // change we might end up here with visibleWidget == newVisible but its + // parent is still hidden. + unHide(DOM.getParent(visibleWidget.getElement())); } private void hide(Element e) { |