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