↑ページトップへ
ウィンドウ右上のをクリックするとユーザー設定ダイアログが表示されます。
ダイアログで「言語」を変更してOKをクリックすると設定が変更されます。言語切替時にはページが再ロードされ、それまでの解析設定は破棄されることに注意してください。
をクリックするとユーザー設定ダイアログが表示されます。
