さらに追記。
致命的な問題として、次のようなエラーで OmegaT プロジェクトを閉じられなくなる(ように見える)ケースがある。
12872: 情報: イベント:プロジェクトの変更 - CLOSE (LOG_INFO_EVENT_PROJECT_CHANGE)
12872: エラー: Uncatched exception in thread AWT-EventQueue-0
12872: エラー: java.lang.NullPointerException
12872: エラー: at javax.swing.text.DefaultHighlighter.removeAllHighlights(Unknown Source)
12872: エラー: at org.omegat.gui.editor.MarkerController.removeAll(MarkerController.java:128)
12872: エラー: at org.omegat.gui.editor.EditorController$1.onProjectChanged(EditorController.java:203)
おそらく、エディターに新しい UI をインストールする時にその前に設定されたマーカーが破棄されて、閉じるときにエラーが発生しているんじゃないかという感じ。
SetUI による画像の設定は、個別のペインについてはしない方が無難。
OSDNへのログインが必要です
回避策が見つかったため、個別ペインの背景設定機能を復活させます。
エラーの回避策:
以下は、ペイン単位の背景設定の仕様制限とします。
仕様制限: