平素のJUDE/Professionalのご利用誠にありがとうございます。

ご希望に沿えず申し訳ございませんが、現時点では「拡張点」の表記を「Extension points」に変更設定することはできません。

ただし、日本語版で作成したファイルをJUDE/Professional英語版で読み込むと、[拡張点]の表記が[extension points]に切り替わります。印刷時など、[extension points]の表記が必要な場合に英語版のJUDEをご利用いただくという方法がございますが・・・、大変手間のかかる方法ですね。 申し訳ございません。

■JUDE/Professional英語版を使用する方法はこちらをご参照ください。

※日本語を含むファイルを英語版JUDEで読み込む際は、Javaバージョン 1.5.xをご利用ください。1.4.xの環境では、日本語が正常に表示されない場合がございます。

■任意のJavaVMを使用してJUDEを起動する方法はこちらをご参照ください。

また、今回頂きましたご質問は、機能追加要望として検討をさせていただきます。

ご不明な点等ございましたらお気軽にお問い合わせ下さい。