transport_mark_label.set_no_show_all();
initialize_canvas ();
- initialize_rulers ();
_summary = new EditorSummary (this);
In the not too distant future this layout is going away anyway and
headers will be on the canvas.
*/
- return canvas_scroll_event (ev);
+ return canvas_scroll_event (ev, false);
}
void