()
| 173 | // resize row heights after revalidation |
| 174 | Runnable runner = new Runnable() { |
| 175 | @Override |
| 176 | public void run() { |
| 177 | if(getTableHeader().getHeight()>0) { // changed by W. Christian |
| 178 | setRowHeight(getTableHeader().getHeight()); |
| 179 | } |
| 180 | } |
| 181 | |
| 182 | }; |
| 183 | SwingUtilities.invokeLater(runner); |
nothing calls this directly
no test coverage detected