return cur_ortho.right - cur_ortho.left;
}
+int GlSeqBrowser::viewportPixelHeight() const
+{
+ return viewport_size.y;
+}
+
+int GlSeqBrowser::viewportPixelWidth() const
+{
+ return viewport_size.x;
+}
+
double GlSeqBrowser::zoomOut()
{
back_inserter(selected));
if (not s.reversed) {
+ // forward
if (selected_paths.size() == 0 or selected.size() > 0) {
glColor4f(1.0, 0.0, 0.0, 1.0);
} else {
glColor4f(1.0, 0.7, 0.7, 0.4);
}
} else {
+ // reverse
if (selected_paths.size() == 0 or selected.size() > 0) {
glColor4f(0.0, 0.0, 1.0, 1.0);
} else {