comparison view/View.cpp @ 952:b1aa74ce697e osx-retina

Always render to a buffer, then from that to the widget

     m_followPlay(PlaybackScrollPageWithCentre),
     m_followPlayIsDetached(false),
     m_playPointerFrame(0),
     m_showProgress(showProgress),
     m_cache(0),
+    m_buffer(0),
     m_cacheCentreFrame(0),
     m_cacheZoomLevel(1024),
     m_selectionCached(false),
     m_deleting(false),
     m_haveSelectedLayer(false),

 	m_selectionCached = false;
     }
 
     int dpratio = devicePixelRatio();
     
-    QSize scaledCacheSize(width() * dpratio, height() * dpratio);
-    QRect scaledCacheRect(cacheRect.x() * dpratio, cacheRect.y() * dpratio,
-                          cacheRect.width() * dpratio, cacheRect.height() * dpratio);
-
+    QSize scaledCacheSize(scaledSize(size(), dpratio));
+    QRect scaledCacheRect(scaledRect(cacheRect, dpratio));
+
+    if (!m_buffer || scaledCacheSize != m_buffer->size()) {
+        delete m_buffer;
+        m_buffer = new QPixmap(scaledCacheSize);
+    }
+    
     if (!scrollables.empty()) {
 
 #ifdef DEBUG_VIEW_WIDGET_PAINT
         cerr << "View(" << this << "): cache " << m_cache << ", cache zoom "
                   << m_cacheZoomLevel << ", zoom " << m_zoomLevel << endl;

 
 	} else {
 #ifdef DEBUG_VIEW_WIDGET_PAINT
 	    cerr << "View(" << this << ")::paintEvent: cache is good" << endl;
 #endif
-	    paint.begin(this);
-	    paint.drawPixmap(cacheRect, *m_cache, scaledCacheRect);
+	    paint.begin(m_buffer);
+	    paint.drawPixmap(scaledCacheRect, *m_cache, scaledCacheRect);
 	    paint.end();
 	    QFrame::paintEvent(e);
 	    paintedCacheRect = true;
 	}
 

 
 	if (repaintCache) {
             paint.begin(m_cache);
             rectToPaint = scaledCacheRect;
         } else {
-            paint.begin(this);
-            rectToPaint = cacheRect;
+            paint.begin(m_buffer);
+            rectToPaint = scaledCacheRect;
         }
 
         setPaintFont(paint);
 	paint.setClipRect(rectToPaint);
 

 	
 	paint.end();
 
 	if (repaintCache) {
 	    cacheRect |= (e ? e->rect() : rect());
-	    paint.begin(this);
-	    paint.drawPixmap(cacheRect, *m_cache, scaledCacheRect);
+            scaledCacheRect = scaledRect(cacheRect, dpratio);
+	    paint.begin(m_buffer);
+	    paint.drawPixmap(scaledCacheRect, *m_cache, scaledCacheRect);
 	    paint.end();
 	}
     }
 
     // Now non-cacheable items.  We always need to redraw the
     // non-cacheable items across at least the area we drew of the
     // cacheable items.
 
     nonCacheRect |= cacheRect;
 
-    paint.begin(this);
-    paint.setClipRect(nonCacheRect);
+    QRect scaledNonCacheRect = scaledRect(nonCacheRect, dpratio);
+    
+    paint.begin(m_buffer);
+    paint.setClipRect(scaledNonCacheRect);
     setPaintFont(paint);
     if (scrollables.empty()) {
         paint.setPen(getBackground());
         paint.setBrush(getBackground());
-	paint.drawRect(nonCacheRect);
+	paint.drawRect(scaledNonCacheRect);
     }
 	
     paint.setPen(getForeground());
     paint.setBrush(Qt::NoBrush);
 	
     for (LayerList::iterator i = nonScrollables.begin(); i != nonScrollables.end(); ++i) {
 //        Profiler profiler2("View::paintEvent non-cacheable");
 #ifdef DEBUG_VIEW_WIDGET_PAINT
         cerr << "Painting non-scrollable layer " << *i << " without proxy with repaintCache = " << repaintCache << ", dpratio = " << dpratio << ", rectToPaint = " << nonCacheRect.x() << "," << nonCacheRect.y() << " " << nonCacheRect.width() << "x" << nonCacheRect.height() << endl;
 #endif
-	(*i)->paint(this, paint, nonCacheRect);
+	(*i)->paint(&proxy, paint, scaledNonCacheRect);
     }
 	
     paint.end();
 
-    paint.begin(this);
+    paint.begin(m_buffer);
     setPaintFont(paint);
-    if (e) paint.setClipRect(e->rect());
+    if (e) paint.setClipRect(scaledRect(e->rect(), dpratio));
     if (!m_selectionCached) {
 	drawSelections(paint);
     }
     paint.end();
 

             // Don't show the play pointer when it is redundant with
             // the centre line
             showPlayPointer = false;
         }
     }
-
+    
+    paint.begin(this);
+    QRect finalPaintRect = e ? e->rect() : rect();
+    paint.drawPixmap(finalPaintRect, *m_buffer, scaledRect(finalPaintRect, dpratio));
+    paint.end();
+    
     if (showPlayPointer) {
 
 	paint.begin(this);
 
         int playx = getXForFrame(m_playPointerFrame);