Bug #79482 Gui improvement add Theme prefrences

• Submitted: 1 Dec 2015 15:42
• Modified: 24 Oct 5:12
• Reporter: Louis de Gaulle
• Status: Won't fix
• Category: MySQL Workbench
• Severity: S4 (Feature request)
• Version: 6.3.5, 6.3.10
• OS: Linux (Gtk)
• CPU Architecture: Any
• Tags: gtk theme preference

[1 Dec 2015 15:42] Louis de Gaulle

Description:
According to the resolution of the screen it is sometimes better to be able to change the size of the graphical interface

Do you think this can be done in MySQL Workbench ?

How to repeat:
We can't switch between predefined scheme color

https://dev.mysql.com/doc/workbench/en/images/wb-preferences-modeling-appearance.png

Suggested fix:
The way Gimp

http://1.bp.blogspot.com/-46jp8ofWAAs/Uiw3n2vl8yI/AAAAAAAAWUk/z1VKmRaveOo/s550/flat-gimp-t...

[5 Feb 2018 8:42] MySQL Verification Team

Hello Louis,

Thank you for the report and feature request!

Thanks,
Umesh

[24 Oct 5:12] Alfredo Kojima

Posted by developer:
 
This request is specific to MySQL Workbench 8, which has reached EOL and no longer receives updates. Please upgrade to the latest MySQL Workbench 26.