8 main (int argc, char *argv[])
10 GtkWidget *window, *scrwin;
12 gtk_init (&argc, &argv);
14 Model *model = new Model ("fest.dvi");
15 View *view = new View (model);
18 window = gtk_window_new (GTK_WINDOW_TOPLEVEL);
20 scrwin = gtk_scrolled_window_new (NULL, NULL);
22 gtk_container_add (GTK_CONTAINER (window), scrwin);
24 gtk_scrolled_window_add_with_viewport (GTK_SCROLLED_WINDOW (scrwin), view->get_widget());
26 gtk_widget_show_all (GTK_WIDGET (window));