--- /dev/null
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+<head profile="http://selenium-ide.openqa.org/profiles/test-case">
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+<link rel="selenium.base" href="" />
+<title>Ticket4507</title>
+</head>
+<body>
+<table cellpadding="1" cellspacing="1" border="1">
+<thead>
+<tr><td rowspan="1" colspan="3">Ticket4507</td></tr>
+</thead><tbody>
+<tr>
+ <td>open</td>
+ <td>/vaadin63/run/com.vaadin.tests.tickets.Ticket4507?restartApplication</td>
+ <td></td>
+</tr>
+<tr>
+ <td>waitForVaadin</td>
+ <td></td>
+ <td></td>
+</tr>
+<tr>
+ <td>mouseClick</td>
+ <td>vaadin=vaadin63runcomvaadinteststicketsTicket4507::/VVerticalLayout[0]/ChildComponentContainer[0]/VCheckBox[0]/domChild[0]</td>
+ <td>5,9</td>
+</tr>
+<tr>
+ <td>waitForVaadin</td>
+ <td></td>
+ <td></td>
+</tr>
+<tr>
+ <td>screenCapture</td>
+ <td></td>
+ <td></td>
+</tr>
+<tr>
+ <td>mouseClick</td>
+ <td>vaadin=vaadin63runcomvaadinteststicketsTicket4507::/VVerticalLayout[0]/ChildComponentContainer[0]/VCheckBox[0]/domChild[0]</td>
+ <td>10,7</td>
+</tr>
+<tr>
+ <td>waitForVaadin</td>
+ <td></td>
+ <td></td>
+</tr>
+<tr>
+ <td>mouseClick</td>
+ <td>//div[@id='vaadin63runcomvaadinteststicketsTicket4507-992355027']/div</td>
+ <td>231,202</td>
+</tr>
+<tr>
+ <td>waitForVaadin</td>
+ <td></td>
+ <td></td>
+</tr>
+<tr>
+ <td>screenCapture</td>
+ <td></td>
+ <td></td>
+</tr>
+
+</tbody></table>
+</body>
+</html>
--- /dev/null
+package com.vaadin.tests.tickets;
+
+import com.vaadin.Application;
+import com.vaadin.ui.CheckBox;
+import com.vaadin.ui.Table;
+import com.vaadin.ui.Window;
+import com.vaadin.ui.Button.ClickEvent;
+
+/**
+ * Setting table height and setting column header mode as hidden leaves the body
+ * height of the table as it would be with the headers visible and leaves an
+ * empty area below the body.
+ *
+ */
+@SuppressWarnings("serial")
+public class Ticket4507 extends Application {
+
+ @Override
+ public void init() {
+ Window mainWindow = new Window();
+ setMainWindow(mainWindow);
+
+ final Table table = new Table("Test table");
+ table.addContainerProperty("Name", String.class, null, "Name", null,
+ null);
+ table.setItemCaptionPropertyId("Name");
+ table.setHeight("100px");
+ table.setImmediate(true);
+
+ table.addItem("1").getItemProperty("Name").setValue("Item 1");
+ table.addItem("2").getItemProperty("Name").setValue("Item 2");
+
+ CheckBox showHeaders = new CheckBox("Show headers",
+ new CheckBox.ClickListener() {
+ public void buttonClick(ClickEvent event) {
+ if (event.getButton().booleanValue()) {
+ // table body height is now 77px, which together
+ // with header makes 100px
+ table
+ .setColumnHeaderMode(Table.COLUMN_HEADER_MODE_EXPLICIT_DEFAULTS_ID);
+ } else {
+ table
+ .setColumnHeaderMode(Table.COLUMN_HEADER_MODE_HIDDEN);
+ // header disappears, but table body height stays at
+ // 77px
+ // and below the body is an empty area (same height
+ // as header would
+ // have)
+
+ }
+ }
+ });
+ showHeaders.setValue(true);
+ showHeaders.setImmediate(true);
+
+ mainWindow.addComponent(showHeaders);
+ mainWindow.addComponent(table);
+ }
+}