1.1 --- a/graph-displayer.cc	Wed May 02 20:33:58 2007 +0000
     1.2 +++ b/graph-displayer.cc	Wed Jan 02 21:03:09 2008 +0000
     1.3 @@ -95,15 +95,15 @@
     1.4  //       mytab.readFile(argv[1]);
     1.5  //     }
     1.6    if(argc>=2)
     1.7 +  {
     1.8 +    for(int i=1;i<argc;i++)
     1.9      {
    1.10 -      for(int i=1;i<argc;i++)
    1.11 -	{
    1.12 -	  if(Glib::file_test(argv[i], Glib::FILE_TEST_IS_REGULAR))
    1.13 -	    {
    1.14 -	      mytab.readFile(argv[i]);
    1.15 -	    }
    1.16 -	}
    1.17 +      if(Glib::file_test(argv[i], Glib::FILE_TEST_IS_REGULAR))
    1.18 +      {
    1.19 +        mytab.readFile(argv[i]);
    1.20 +      }
    1.21      }
    1.22 +  }
    1.23    else
    1.24      {
    1.25        mytab.newTab();