canvas.set_scroll_region (0, 0, 5000, 5000);
area.add (canvas);
hbox.pack_start (frame, false, false, 10);
hbox.pack_start (area);
canvas.set_scroll_region (0, 0, 5000, 5000);
area.add (canvas);
hbox.pack_start (frame, false, false, 10);
hbox.pack_start (area);