From 851f9124baaa83e7e76dd8ad392d5b633a790844 Mon Sep 17 00:00:00 2001 From: Michael Zanetti Date: Wed, 24 Aug 2011 08:46:59 +0200 Subject: [PATCH] increase font size in dropmenu. People say it was too small for distinguishing normal and bold. --- src/sourcetree/sourcedelegate.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/sourcetree/sourcedelegate.cpp b/src/sourcetree/sourcedelegate.cpp index 99a90d146..f486437ea 100644 --- a/src/sourcetree/sourcedelegate.cpp +++ b/src/sourcetree/sourcedelegate.cpp @@ -220,7 +220,7 @@ SourceDelegate::paint( QPainter* painter, const QStyleOptionViewItem& option, co painter->setPen(pen); QFont font = painter->font(); - font.setPixelSize( 10 ); + font.setPixelSize( 12 ); painter->setFont( font ); QFont fontBold = painter->font(); fontBold.setBold( true ); @@ -249,10 +249,10 @@ SourceDelegate::paint( QPainter* painter, const QStyleOptionViewItem& option, co painter->setFont( font ); int textSpacing = ( itemWidth - painter->fontMetrics().width( m_dropTypeTextMap.value( i ) ) ) / 2; - textRect = itemsRect.adjusted( textSpacing - 1, itemsRect.height() - painter->fontMetrics().height() - 4, 0, 0 ); + textRect = itemsRect.adjusted( textSpacing - 1, itemsRect.height() - painter->fontMetrics().height() - 2, 0, 0 ); painter->drawText( textRect, m_dropTypeTextMap.value( i ) ); - int maxHeight = itemsRect.height() - textRect.height() - 4; + int maxHeight = itemsRect.height() - textRect.height() - 2; int verticalOffset = qMax( 0, maxHeight - 32 ); if ( itemsRect.bottom() - textRect.height() - 2 > itemsRect.top() ) {