Oracle SQL Developer 18.1のGUI/フォント/すべてのサイズを大きくする方法

質問

SQL Developer 18.1 の JDK 8 が含まれる Windows 64-bit をダウンロードしました。

Oracle SQL Developed を実行するには、ファイルを解凍して、フォルダに含まれる sqldeveloper.exe を実行するだけです。

残念ながら、画像でわかるように、すべてのサイズが非常に小さく、非常に見づらいです。

この問題は、このソフトウェアでのみ表示されます。

どうすれば解決できますか。

どのように解決するのですか？

これは主観的な発言だと思いますが、私にはsmallには見えません。

しかし、OS のアクセシビリティ機能を使ってアプリケーションのテキスト サイズを大きくしている場合、新しい「ようこそページ」はそれを妨害する可能性があります。

ようこそ」ページの「起動時に表示する」のチェックをはずす

SQL Developerを再起動します。

あなたは良いはずです。

ようこそ] ページは HTML をレンダリングするために JavaFX を使用しており、これは明らかに Java のバグのために邪魔になっています。私たちは、将来のリリースでこれを軽減または修正することを検討しています。

これがうまくいかない場合、UI のフォント サイズを実際に大きくしてみることもできます。

私はその方法について ここで

フォントサイズ14まで上げるとこんな感じです。

ide.properties ファイルを探します。

Windows : OSのユーザーのAppData、Roaming、SQL Developer、systemにあります。 X.Y.Z ...、o.sqldeveloper ディレクトリ（X.Y.Z...は SQL Developer のバージョンを表します）。

Linux/Mac : $HOME/.sqldeveloper, systemX.Y.Z, o.sqldeveloperディレクトリの中にあります。

このファイルは非常によく文書化されていることにお気づきでしょう。特に Windows について書かれたセクションがあります。すべてのルック アンド フィールのデフォルトのサイズを変更するには、コメントされていないこの行を追加します。

# To modify the font size for a particular locale under all
# look-and-feels, set the Ide.FontSize.<languageID> property. For
# example:
Ide.FontSize.en=14

2018年最新情報

私の4k Mac Mini（それが重要なら2018ビルド）で。

• オラクル 8 JDK
• SQL Developer 18.3
• Mac OS X のルック アンド フィール
• Ide.FontSize=21

SQL Developerはこのような見た目です。