最大化后刷新 Vaadin TabSheet Window

Refresh Vaadin TabSheet upon maximizing Window

我在使用 Vaadin TabSheet 时遇到问题 - 当前选项卡不会根据 maximizing/minimizing window 调整大小(使用右上角的 +/- 按钮)

我的内容现在 DO 调整大小正确时间:

但是当改变 window 的状态(最大化它或回到原始大小(设置为 800* 600px))

我能够使用 Window.WindowModeChangeListener 隔离 window 模式更改事件,但我无法弄清楚我应该使用哪种方法和哪个组件来强制 UI 重绘我的标签...尝试 markAsDirtymarkAsDirtyRecursive 一切(window、标签表、标签本身),但没有运气...

另外 window,标签表和标签有 setImmediate(true) 如果这是一个问题。或者是否有任何其他设置来确保所需的行为?

编辑: 我注意到它甚至可以在 Internet Explorer 中正常工作,但在 Firefox 中却不行(还没有尝试过其他浏览器)。

这似乎是 Vaadin 7.6 及更低版本的错误...