Интерфейс пользователя Oracle-SQLDeveloper - PullRequest
0 голосов
/ 08 ноября 2019

Я расскажу вам о проблеме с разработчиком SQL. Я работаю с Windows 10. Моя версия SQL Developer: Version 19.2.1.247 Проблема: Я хочу увеличить размер меню пользовательского интерфейса.

Я прочитал на форумах, что этот размер можно изменитьв файле: ide.properties Свойство Ide.FontSize. Но проблема в том, что в моей установке я не могу найти этот файл. Тот, который я нахожу, является ide-boot. Свойства И если в этом файле я добавлю это свойство, приложение не запустится. Примечание: не путайте его с размером шрифта редактора кода. Вы можете мне помочь? Большое спасибо

...