gui/graph-displayer.cc
changeset 1672 85e30ec7c957
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   }