We scroll down to keep in step with the controls layout.
*/
vertical_adjustment.set_value (full_canvas_height - _canvas_height);
- }
+ }
if (!route_redisplay_does_not_reset_order_keys && !route_redisplay_does_not_sync_order_keys) {
session->sync_order_keys (_order_key);
track_views.push_back (tv);
}
+ _summary->set_dirty ();
+
return false; // do not call again (until needed)
}
cairo_t* cr = gdk_cairo_create (get_window()->gobj());
- cairo_set_source_rgba (cr, 0, 1, 0, 0.25);
-
cairo_move_to (cr, x.first, y.first);
cairo_line_to (cr, x.second, y.first);
cairo_line_to (cr, x.second, y.second);
cairo_line_to (cr, x.first, y.second);
cairo_line_to (cr, x.first, y.first);
- cairo_fill (cr);
+ cairo_set_source_rgba (cr, 1, 1, 1, 0.25);
+ cairo_fill_preserve (cr);
+ cairo_set_line_width (cr, 1);
+ cairo_set_source_rgba (cr, 1, 1, 1, 0.5);
+ cairo_stroke (cr);
cairo_destroy (cr);