| 220 | } |
| 221 | |
| 222 | int VisualGroup::headerHeight() |
| 223 | { |
| 224 | QFont font(QApplication::font()); |
| 225 | font.setBold(true); |
| 226 | QFontMetrics fontMetrics(font); |
| 227 | |
| 228 | const int height = fontMetrics.height() + 1 /* 1 pixel-width gradient */ |
| 229 | + 11 /* top and bottom separation */; |
| 230 | return height; |
| 231 | /* |
| 232 | int raw = view->viewport()->fontMetrics().height() + 4; |
| 233 | // add english. maybe. depends on font height. |
| 234 | if (raw % 2 == 0) |
| 235 | raw++; |
| 236 | return std::min(raw, 25); |
| 237 | */ |
| 238 | } |
| 239 | |
| 240 | int VisualGroup::contentHeight() const |
| 241 | { |