diff options
| -rw-r--r-- | src/ChangeLog | 6 | ||||
| -rw-r--r-- | src/gui/conversation.cc | 16 |
2 files changed, 15 insertions, 7 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 0d443583..d9624fe3 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2013-04-02 Gabriel Dos Reis <gdr@integrable-solutions.net> + + * gui/conversation.cc (font_units): Rename from em_metrics. + Adjust callers. + (Answer::Answer): Use raised frame style. + 2013-03-31 Gabriel Dos Reis <gdr@integrable-solutions.net> * lib/sockio-c.c (get_float): Remove unused local variable val. diff --git a/src/gui/conversation.cc b/src/gui/conversation.cc index c3357e0f..16948296 100644 --- a/src/gui/conversation.cc +++ b/src/gui/conversation.cc @@ -40,10 +40,11 @@ #include "debate.h" namespace OpenAxiom { - // Measurement in pixel of the em unit in the given font `f'. - static QSize em_metrics(const QWidget* w) { + // Largest width and line spacing, in pixel, of the font metrics + // associated with `w'. + static QSize font_units(const QWidget* w) { const QFontMetrics fm = w->fontMetrics(); - return QSize(fm.width(QLatin1Char('m')), fm.height()); + return QSize(fm.maxWidth(), fm.lineSpacing()); } // Return true if the QString `s' is morally an empty string. @@ -83,7 +84,8 @@ namespace OpenAxiom { // scrollbars. QSize OutputTextArea::sizeHint() const { - return QSize(width(), document()->lineCount() * fontMetrics().height()); + const QSize s = font_units(this); + return QSize(width(), (1 + document()->lineCount()) * s.height()); } // Concatenate two paragraphs. @@ -150,7 +152,7 @@ namespace OpenAxiom { // -- Answer -- // ------------ Answer::Answer(Exchange& e) : Base(&e), parent(&e) { - setFrameStyle(StyledPanel | Sunken); + setFrameStyle(StyledPanel | Raised); } // -------------- @@ -275,8 +277,8 @@ namespace OpenAxiom { static QSize minimum_preferred_size(const Conversation* conv) { - const QSize em = em_metrics(conv); - return QSize(columns * em.width(), lines * em.height()); + const QSize s = font_units(conv); + return QSize(columns * s.width(), lines * s.height()); } // Set a minimum preferred widget size, so no layout manager |