comparison view/View.cpp @ 338:1d3b27e69bf0

* Make font size in panes configurable, with a smaller default
* Add [ and ] to select prev/next pane

 #include "layer/Layer.h"
 #include "data/model/Model.h"
 #include "base/ZoomConstraint.h"
 #include "base/Profiler.h"
 #include "base/Pitch.h"
+#include "base/Preferences.h"
 
 #include "layer/TimeRulerLayer.h"
 #include "layer/SingleColourLayer.h"
 #include "data/model/PowerOfSqrtTwoZoomConstraint.h"
 #include "data/model/RangeSummarisableTimeValueModel.h"

 #include <QPaintEvent>
 #include <QRect>
 #include <QApplication>
 #include <QProgressDialog>
 #include <QTextStream>
+#include <QFont>
 
 #include <iostream>
 #include <cassert>
 #include <math.h>
 

 }
 
 View::LayerProgressBar::LayerProgressBar(QWidget *parent) :
     QProgressBar(parent)
 {
-    QFont f(font());
-    f.setPointSize(f.pointSize() * 8 / 10);
-    setFont(f);
 }
 
 void
 View::addLayer(Layer *layer)
 {

 
     m_progressBars[layer] = new LayerProgressBar(this);
     m_progressBars[layer]->setMinimum(0);
     m_progressBars[layer]->setMaximum(100);
     m_progressBars[layer]->setMinimumWidth(80);
+    QFont f(m_progressBars[layer]->font());
+    f.setPointSize(Preferences::getInstance()->getViewFontSize());
+    m_progressBars[layer]->setFont(f);
     m_progressBars[layer]->hide();
     
     connect(layer, SIGNAL(layerParametersChanged()),
 	    this,    SLOT(layerParametersChanged()));
     connect(layer, SIGNAL(layerParameterRangesChanged()),

     if (!paintedCacheRect) {
 
 	if (repaintCache) paint.begin(m_cache);
 	else paint.begin(this);
 
+        QFont font(paint.font());
+        font.setPointSize(Preferences::getInstance()->getViewFontSize());
+        paint.setFont(font);
+
 	paint.setClipRect(cacheRect);
 
         paint.setPen(getBackground());
         paint.setBrush(getBackground());
 	paint.drawRect(cacheRect);

 
     nonCacheRect |= cacheRect;
 
     paint.begin(this);
     paint.setClipRect(nonCacheRect);
+
+    QFont font(paint.font());
+    font.setPointSize(Preferences::getInstance()->getViewFontSize());
+    paint.setFont(font);
 
     if (scrollables.empty()) {
         paint.setPen(getBackground());
         paint.setBrush(getBackground());
 	paint.drawRect(nonCacheRect);