OmegaT の UI（各ペイン内部を除く）を任意のフォントに変更します。
既定のフォント設定が適用されない場合がある問題を修正
trunk/src/jp/sourceforge/users/yutang/omegat/plugin/uifontchanger/Bundle.properties (diff)
trunk/src/jp/sourceforge/users/yutang/omegat/plugin/uifontchanger/L10n.java (diff) trunk/src/jp/sourceforge/users/yutang/omegat/plugin/uifontchanger/Bundle_ja.properties (diff)| @@ -67,12 +67,12 @@ | ||
| 67 | 67 | break; |
| 68 | 68 | } |
| 69 | 69 | |
| 70 | - // 取得したストリングは、次のような形式になっている。 | |
| 71 | - // "font name", fontName, ... | |
| 70 | + // 取得したストリングは、カンマ区切りになっている。 | |
| 71 | + // fontName1, fontName2, ... | |
| 72 | 72 | // 正規表現でフォント名を分割し、実行環境に存在するかチェックする。 |
| 73 | 73 | // 最初に見つかった存在するフォント名を返す。 |
| 74 | - String src = "," + fontName + ","; // 処理の都合上、ダミーの読点を前後に付加 | |
| 75 | - String[] splitted = fontName.split("\"?\\s*,\\s*\"?"); | |
| 74 | + String src = fontName; | |
| 75 | + String[] splitted = fontName.split("\\s*,\\s*"); | |
| 76 | 76 | for (String s: splitted) { |
| 77 | 77 | if (!s.trim().isEmpty() && availableFonts.contains(s)) { |
| 78 | 78 | return s; |
yu-tang