3538
3529
#if GTK_CHECK_VERSION(3, 2, 0)
3539
3530
view->overlay = gtk_overlay_new ();
3540
3531
gtk_widget_show (view->overlay);
3549
3532
gtk_container_add (GTK_CONTAINER (view->overlay), view->scrolled_window);
3551
3533
gtk_box_pack_start (GTK_BOX (view), view->overlay, TRUE, TRUE, 0);
3553
3535
/* Overlays must be created before showing GtkOverlay as of GTK+ 3.2 */