gui/mapstorage.cc
changeset 1736 35f667e7dd7e
parent 1686 a5b8e0fde2be
child 1837 8dd6160ff699
equal deleted inserted replaced
15:19af7afa12ca 16:962e5b6b42c5
   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