dvi/main.cc

   1 #include <gtk/gtk.h>
   2
   3 #include "model.hh"
   4 #include "view.hh"
   5 #include "painter.hh"
   6
   7 int
   8 main (int argc, char *argv[])
   9 {
  10     GtkWidget *window, *scrwin;
  11
  12     gtk_init (&argc, &argv);
  13
  14     Model *model = new Model ("fest.dvi");
  15     View *view = new View (model);
  16
  17
  18     window = gtk_window_new (GTK_WINDOW_TOPLEVEL);
  19
  20     scrwin = gtk_scrolled_window_new (NULL, NULL);
  21
  22     gtk_container_add (GTK_CONTAINER (window), scrwin);
  23
  24     gtk_scrolled_window_add_with_viewport (GTK_SCROLLED_WINDOW (scrwin), view->get_widget());
  25
  26     gtk_widget_show_all (GTK_WIDGET (window));
  27
  28     gtk_main ();
  29
  30     return 0;
  31 }