Java GlossaryTextAreaの例

コード例 #1

ファイル: GlossaryManager.java プロジェクト: alex73/OmegaT

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

コード例 #2

ファイル: GlossaryManager.java プロジェクト: jeanparpaillon/omegat

 public void forceUpdateGlossary() {
   pane.refresh();
 }