gtk_container_set_border_width (GTK_CONTAINER (vpaned), 0);
gtk_box_pack_start (GTK_BOX (vbox), vpaned,
TRUE, TRUE, 0);
- gtk_container_add (GTK_CONTAINER (vbox), vpaned);
{
board_frame = gtk_aspect_frame_new (NULL, 0.5, 0.5, 1.0, FALSE);
gtk_paned_pack1 (GTK_PANED (vpaned), board_frame, TRUE, TRUE);