From 787e5f218867168e8553fbdd50a64dd65dd8ae76 Mon Sep 17 00:00:00 2001 From: doitux Date: Sun, 24 Jun 2007 21:44:21 +0000 Subject: [PATCH] tabwidgets fontsize fix --- src/gui/qt/mainwindow.ui | 10 ---------- src/gui/qt/mainwindow/mainwindowimpl.cpp | 17 ++++++++++++++--- 2 files changed, 14 insertions(+), 13 deletions(-) diff --git a/src/gui/qt/mainwindow.ui b/src/gui/qt/mainwindow.ui index 61658008..c4bde6c9 100644 --- a/src/gui/qt/mainwindow.ui +++ b/src/gui/qt/mainwindow.ui @@ -825,11 +825,6 @@ - - - 8 - - QTabWidget::Rounded @@ -2001,11 +1996,6 @@ - - - 8 - - QTabWidget::Rounded diff --git a/src/gui/qt/mainwindow/mainwindowimpl.cpp b/src/gui/qt/mainwindow/mainwindowimpl.cpp index 9a78949e..494544ba 100755 --- a/src/gui/qt/mainwindow/mainwindowimpl.cpp +++ b/src/gui/qt/mainwindow/mainwindowimpl.cpp @@ -417,9 +417,7 @@ mainWindowImpl::mainWindowImpl(ConfigFile *c, QMainWindow *parent) #endif QFont tmpFont2; tmpFont2.setFamily("Bitstream Vera Sans"); - tmpFont2.setPixelSize(18); - label_Pot->setFont(tmpFont2); - + tmpFont2.setPixelSize(10); for (i=0; isetFont(tmpFont2); +#ifdef __APPLE__ + tmpFont1.setPixelSize(11); + tabWidget_Right->setFont(tmpFont1); + tabWidget_Left->setFont(tmpFont1); +#else + tmpFont1.setPixelSize(10); + tabWidget_Right->setFont(tmpFont1); + tabWidget_Left->setFont(tmpFont1); +#endif + tmpFont2.setPixelSize(12); for (i=0; isetFont(tmpFont2); + tmpFont2.setPixelSize(18); + label_Pot->setFont(tmpFont2); + //Widgets Grafiken per Stylesheets setzen //Groupbox Background for (i=1; i