gui/graph-displayer.cc
changeset 1641 77f6ab7ad66f
parent 1606 dc4ea2010dee
child 1650 422906271d22
equal deleted inserted replaced
5:31e14dd4a7ea 6:8fa180ff7620
    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("Displayed Graph");
       
    46 
       
    47   if ((argc == 2) && (Glib::file_test(argv[1], Glib::FILE_TEST_IS_REGULAR)))
       
    48   {
       
    49     mainwin.readFile(argv[1]);
       
    50   }
       
    51   
    46   app.run(mainwin);
    52   app.run(mainwin);
    47 
    53 
    48   return 0;
    54   return 0;
    49 }
    55 }