main_win.cc
branchgui
changeset 57 1f158566c3bf
parent 56 7a9a55a2f45d
child 60 3e58623c588d
     1.1 --- a/main_win.cc	Sun Aug 07 16:35:15 2005 +0000
     1.2 +++ b/main_win.cc	Sun Aug 07 18:06:41 2005 +0000
     1.3 @@ -133,6 +133,15 @@
     1.4    show_all_children();
     1.5  }
     1.6  
     1.7 +void MainWin::readFile(const std::string &file)
     1.8 +{
     1.9 +  mapstorage.readFromFile(file);
    1.10 +  mapstorage.file_name = file;
    1.11 +  mapstorage.modified = false;
    1.12 +  gd_canvas.drawGraph();
    1.13 +  mapwin.update();
    1.14 +}
    1.15 +
    1.16  void MainWin::newFile()
    1.17  {
    1.18    if (mapstorage.modified)