Esempio n. 1
0
 private void updateList(final MapModel map, final String restoreString) {
   // ignore documentation maps loaded using documentation actions
   if (map.containsExtension(DocuMapAttribute.class)) return;
   if (restoreString != null) {
     if (lastOpenedList.contains(restoreString)) {
       lastOpenedList.remove(restoreString);
     }
     lastOpenedList.add(0, restoreString);
     mRestorableToMapName.put(restoreString, map.getTitle());
   }
   updateMenus();
 }
Esempio n. 2
0
 public String getRestoreable(final MapModel map) {
   if (map == null) {
     return null;
   }
   // ignore documentation maps loaded using documentation actions
   if (map.containsExtension(DocuMapAttribute.class)) return null;
   final ModeController modeController = Controller.getCurrentModeController();
   if (!modeController.getModeName().equals(MModeController.MODENAME)) {
     return null;
   }
   final File file = map.getFile();
   return getRestorable(file);
 }