Я пытался изменить тему SQL Developer, и я не могу найти селектор темы в среде в настройках. Он был удален? Обычно это место, где он будет расположен.