Я начал использовать Инструментальные средства, чтобы соединиться с DDBB и делать некоторые запросы, но когда я выбираю некоторый текст, чтобы только выполнить ту часть, цвет текста и цвет фона являются тем же.
Я считал что-то о code_editor.xml..., но также и что эти цвета не могут быть изменены, изменив тот файл и зависят от ОС (https://forums.mysql.com/read.php? 152,665348,665348#msg-665348).
Цвет изменяется, если я использую Adwaita-темный, но проблема все еще там. Я попробовал двумя различными темами оболочки с помощью Инструментов Тонкой настройки, также.
Я также читал об изменении некоторых файлов, расположенных в/usr/themes/для изменения цвета, но цвет, который появляется в тех файлах как выбранный фон текста, не соответствует Инструментальным средствам одному (это оранжево).
Мы (материал колледжа) используем в настоящий момент VM с Ubuntu 16.04 и Инструментальными средствами 6.3.10 для предотвращения этой проблемы...
Workbench и Adwaita или окружение...
Прошлые дни там были обновлением для пакета Инструментальных средств, и теперь он решен, по крайней мере, для Ubuntu и Gnome OP.
Проблема, решенная, обновляя Инструментальные средства к 18,04