| 136 | } |
| 137 | |
| 138 | void TerminalFont::decreaseFontSize() |
| 139 | { |
| 140 | const qreal MinimumFontSize = 6; |
| 141 | |
| 142 | QFont font = qobject_cast<QWidget *>(m_parent)->font(); |
| 143 | font.setPointSizeF(qMax(font.pointSizeF() - 1, MinimumFontSize)); |
| 144 | setVTFont(font); |
| 145 | } |
| 146 | |
| 147 | void TerminalFont::resetFontSize() |
| 148 | { |