@Override public void frameWillDispose(WorkbenchFrame frame) { log.debug("Frame disposing, forgetting file " + fileToTrack.getName()); try { reopener.forget(fileToTrack); } catch (IOException ex) { log.warn("Unable to forget file for re-opening", ex); } }
@Override public void frameWillDispose(WorkbenchFrame frame) { log.debug("Frame disposing, forgetting file " + fileToTrack.getName()); try { reopener.forget(fileToTrack); } catch (IOException ex) { log.warn("Unable to forget file for re-opening", ex); } } }
private void reOpenFiles() { Set<String> rememeberedFiles = reOpener.getRememeberedFiles(); for (String filename : rememeberedFiles) { log.debug("Reopening file: " + filename); File file = new File(filename); if (file.canRead()) { try { fileOpener.openFile(file); } catch (ResourceNotFoundException ex) { // Log error but don't spam user, this is only preferences log.info("Missing configuration", ex); } } else { log.info("Unable to reopen file for reading: " + filename); try { log.debug("Trying to forget unopenable file : " + filename); reOpener.forget(file); } catch (IOException e) { log.info("Unable to forget unopenable file : " + filename); } } } }