Полагаю, это субъективное утверждение, но мне оно НЕ кажется МАЛЕНЬКИМ.
Однако, если вы используете функцию доступности ОС для увеличения размера текста в своих приложениях, новая «страница приветствия» может помешать этому.
Снимите флажок «Показать при запуске» на странице приветствия
Перезапустите SQL Developer.
Ты должен быть хорошим.
Страница приветствия использует JavaFX для визуализации некоторого HTML, и это, видимо, мешает из-за ошибки Java. Мы собираемся исправить или исправить это в будущем выпуске.
Если это не сработает, вы также можете попытаться увеличить размер шрифта пользовательского интерфейса.
Я говорю о том, как это сделать здесь
Это выглядит как увеличенный размер шрифта 14
Найдите файл ide.properties. Вы заметите, что это ОЧЕНЬ хорошо задокументировано. Есть раздел, который говорит о 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 года, если это имеет значение):
- Oracle 8 JDK
- SQL Developer 18.3
- Mac OS X выглядит и чувствуется
- Ide.FontSize = 21
Вот так выглядит SQL Developer: