public void fileChanged(File file) { synchronized (this) { glossaries.remove(file.getName()); } if (file.exists()) { try { List<GlossaryEntry> entries = loadGlossaryFile(file); if (entries != null) { synchronized (this) { glossaries.put(file.getName(), entries); } } } catch (Exception ex) { Log.logRB("CT_ERROR_ACCESS_GLOSSARY_DIR"); Log.log(ex); } } pane.refresh(); }
public void forceUpdateGlossary() { pane.refresh(); }