mapstorage.cc
branchgui
changeset 92 ee2bd58fdc30
parent 77 ba023627ff1a
child 94 adfdc2f70548
equal deleted inserted replaced
15:cab147404b6b 16:519834f1b652
   179       }
   179       }
   180       greader.readEdgeMap(*it, *edgemap_storage[*it]);
   180       greader.readEdgeMap(*it, *edgemap_storage[*it]);
   181     }
   181     }
   182     greader.run();
   182     greader.run();
   183   } catch (DataFormatError& error) {
   183   } catch (DataFormatError& error) {
   184     Gtk::MessageDialog mdialog("Read Error");
   184     Gtk::MessageDialog mdialog(error.what());
   185     mdialog.set_message(error.what());
       
   186     mdialog.run();
   185     mdialog.run();
   187     clear();
   186     clear();
   188     return 1;
   187     return 1;
   189   }
   188   }
   190 
   189