float viewportHeight() const;
//! return width of the viewport in world coordinates
float viewportWidth() const;
+
+ //! return viewport height in pixels
+ int viewportPixelHeight() const;
+ //! return viewport width in pixels
+ int viewportPixelWidth() const;
//! zoom out far enough to show the full size of the sequence
double zoomOut();