branch | gui |
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)