sqldeveloper - Ubuntu 18.04, эквивалентный Windows Override HiDPI

Я использую sqldeverloper в Ubuntu 18.04. Что эквивалентно опции Windows 10 для переопределения HiDPI?

Как это:

^{(Нажмите на изображение, чтобы увеличить)}