gui/graph-displayer.cc
changeset 1856 3f0558065bcd
parent 1731 616bc933c2bc
child 1869 52f5a7f9fb48
equal deleted inserted replaced
8:c95456058438 9:71fb67a4f20a
    59   //initializing GUI
    59   //initializing GUI
    60 
    60 
    61   Gnome::Canvas::init();
    61   Gnome::Canvas::init();
    62   Gtk::Main app(argc, argv);
    62   Gtk::Main app(argc, argv);
    63 
    63 
    64   MainWin mainwin;
    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   {
    67     {
    68     mainwin.readFile(argv[1]);
    68       mytab.readFile(argv[1]);
    69   }
    69     }
    70   
    70   
    71   app.run(mainwin);
    71   app.run(mytab);
    72 
    72 
    73   return 0;
    73   return 0;
    74 }
    74 }