graph-displayer.cc
branchgui
changeset 57 1f158566c3bf
parent 53 e73d7540bd24
child 68 1a27576aa199
     1.1 --- a/graph-displayer.cc	Sun Aug 07 16:35:15 2005 +0000
     1.2 +++ b/graph-displayer.cc	Sun Aug 07 18:06:41 2005 +0000
     1.3 @@ -43,6 +43,12 @@
     1.4    Gtk::Main app(argc, argv);
     1.5  
     1.6    MainWin mainwin("Displayed Graph");
     1.7 +
     1.8 +  if ((argc == 2) && (Glib::file_test(argv[1], Glib::FILE_TEST_IS_REGULAR)))
     1.9 +  {
    1.10 +    mainwin.readFile(argv[1]);
    1.11 +  }
    1.12 +  
    1.13    app.run(mainwin);
    1.14  
    1.15    return 0;