gui/graph-displayer.cc
changeset 1893 4a35c7847c77
parent 1849 a4d1362397fe
child 2012 224cd6aacfc1
equal deleted inserted replaced
9:71fb67a4f20a 10:57b3cdfe500a
    61   Gnome::Canvas::init();
    61   Gnome::Canvas::init();
    62   Gtk::Main app(argc, argv);
    62   Gtk::Main app(argc, argv);
    63 
    63 
    64   MainWin mytab;
    64   MainWin mytab;
    65 
    65 
    66   if ((argc == 2) && (Glib::file_test(argv[1], Glib::FILE_TEST_IS_REGULAR)))
    66 //   if ((argc == 2) && (Glib::file_test(argv[1], Glib::FILE_TEST_IS_REGULAR)))
       
    67 //     {
       
    68 //       mytab.readFile(argv[1]);
       
    69 //     }
       
    70   if(argc>=2)
    67     {
    71     {
    68       mytab.readFile(argv[1]);
    72       for(int i=1;i<argc;i++)
       
    73 	{
       
    74 	  if(Glib::file_test(argv[i], Glib::FILE_TEST_IS_REGULAR))
       
    75 	    {
       
    76 	      mytab.readFile(argv[i]);
       
    77 	    }
       
    78 	}
       
    79     }
       
    80   else
       
    81     {
       
    82       mytab.newTab();
    69     }
    83     }
    70   
    84   
    71   app.run(mytab);
    85   app.run(mytab);
    72 
    86 
    73   return 0;
    87   return 0;