| 265 | } |
| 266 | |
| 267 | int VisualGroup::headerHeight() const |
| 268 | { |
| 269 | QFont font(QApplication::font()); |
| 270 | font.setBold(true); |
| 271 | QFontMetrics fontMetrics(font); |
| 272 | |
| 273 | const int height = fontMetrics.height() + 1 /* 1 pixel-width gradient */ |
| 274 | + 11 /* top and bottom separation */; |
| 275 | return height; |
| 276 | /* |
| 277 | int raw = view->viewport()->fontMetrics().height() + 4; |
| 278 | // add english. maybe. depends on font height. |
| 279 | if (raw % 2 == 0) |
| 280 | raw++; |
| 281 | return std::min(raw, 25); |
| 282 | */ |
| 283 | } |
| 284 | |
| 285 | int VisualGroup::contentHeight() const |
| 286 | { |