graph-displayer.cc
branchgui
changeset 75 d5aadf09197b
parent 57 1f158566c3bf
child 81 5ad61c33487c
equal deleted inserted replaced
6:67dc23ab3a1d 7:3d54f4ab7560
    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   }