| 292 | } |
| 293 | |
| 294 | int VisualGroup::headerHeight() const |
| 295 | { |
| 296 | QFont font(QApplication::font()); |
| 297 | font.setBold(true); |
| 298 | QFontMetrics fontMetrics(font); |
| 299 | |
| 300 | const int height = fontMetrics.height() + 1 /* 1 pixel-width gradient */ |
| 301 | + 11 /* top and bottom separation */; |
| 302 | return height; |
| 303 | /* |
| 304 | int raw = view->viewport()->fontMetrics().height() + 4; |
| 305 | // add english. maybe. depends on font height. |
| 306 | if (raw % 2 == 0) |
| 307 | raw++; |
| 308 | return std::min(raw, 25); |
| 309 | */ |
| 310 | } |
| 311 | |
| 312 | int VisualGroup::contentHeight() const |
| 313 | { |