equal
deleted
inserted
replaced
131 tooltips.enable(); |
131 tooltips.enable(); |
132 |
132 |
133 show_all_children(); |
133 show_all_children(); |
134 } |
134 } |
135 |
135 |
|
136 void MainWin::readFile(const std::string &file) |
|
137 { |
|
138 mapstorage.readFromFile(file); |
|
139 mapstorage.file_name = file; |
|
140 mapstorage.modified = false; |
|
141 gd_canvas.drawGraph(); |
|
142 mapwin.update(); |
|
143 } |
|
144 |
136 void MainWin::newFile() |
145 void MainWin::newFile() |
137 { |
146 { |
138 if (mapstorage.modified) |
147 if (mapstorage.modified) |
139 { |
148 { |
140 Gtk::MessageDialog mdialog("<b>Save changes before closing?</b>", true, |
149 Gtk::MessageDialog mdialog("<b>Save changes before closing?</b>", true, |