diff widgets/LevelPanToolButton.h @ 942:fcbfc7fad1f2 tonioni

Allow setting big-image size directly
author Chris Cannam
date Tue, 31 Mar 2015 14:46:32 +0100
parents 77110abca8a1
children 6a6a63506e3f
line wrap: on
line diff
--- a/widgets/LevelPanToolButton.h	Tue Mar 31 14:08:06 2015 +0100
+++ b/widgets/LevelPanToolButton.h	Tue Mar 31 14:46:32 2015 +0100
@@ -38,6 +38,8 @@
 
     void setImageSize(int pixels);
 			
+    void setBigImageSize(int pixels);
+			
 public slots:
     /// Set level in the range [0,1] -- will be rounded
     void setLevel(float);
@@ -63,6 +65,7 @@
     
     LevelPanWidget *m_lpw;
     int m_pixels;
+    int m_pixelsBig;
     bool m_muted;
     float m_savedLevel;
 };