gui/graph-displayer.cc
changeset 1673 8919ca9e70f3
parent 1616 78704393218d
child 1731 616bc933c2bc
equal deleted inserted replaced
6:8fa180ff7620 7:e0cdd7df3103
    40   //initializing GUI
    40   //initializing GUI
    41 
    41 
    42   Gnome::Canvas::init();
    42   Gnome::Canvas::init();
    43   Gtk::Main app(argc, argv);
    43   Gtk::Main app(argc, argv);
    44 
    44 
    45   MainWin mainwin("Displayed Graph");
    45   MainWin mainwin;
    46 
    46 
    47   if ((argc == 2) && (Glib::file_test(argv[1], Glib::FILE_TEST_IS_REGULAR)))
    47   if ((argc == 2) && (Glib::file_test(argv[1], Glib::FILE_TEST_IS_REGULAR)))
    48   {
    48   {
    49     mainwin.readFile(argv[1]);
    49     mainwin.readFile(argv[1]);
    50   }
    50   }