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();
}
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);
}
