graph-displayer.cc
changeset 201 879e47e5b731
parent 194 6b2b718420eb
equal deleted inserted replaced
14:ae9787d8988d 15:d03754c0d633
    93 //   if ((argc == 2) && (Glib::file_test(argv[1], Glib::FILE_TEST_IS_REGULAR)))
    93 //   if ((argc == 2) && (Glib::file_test(argv[1], Glib::FILE_TEST_IS_REGULAR)))
    94 //     {
    94 //     {
    95 //       mytab.readFile(argv[1]);
    95 //       mytab.readFile(argv[1]);
    96 //     }
    96 //     }
    97   if(argc>=2)
    97   if(argc>=2)
       
    98   {
       
    99     for(int i=1;i<argc;i++)
    98     {
   100     {
    99       for(int i=1;i<argc;i++)
   101       if(Glib::file_test(argv[i], Glib::FILE_TEST_IS_REGULAR))
   100 	{
   102       {
   101 	  if(Glib::file_test(argv[i], Glib::FILE_TEST_IS_REGULAR))
   103         mytab.readFile(argv[i]);
   102 	    {
   104       }
   103 	      mytab.readFile(argv[i]);
       
   104 	    }
       
   105 	}
       
   106     }
   105     }
       
   106   }
   107   else
   107   else
   108     {
   108     {
   109       mytab.newTab();
   109       mytab.newTab();
   110     }
   110     }
   111   
   111