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