Bug #79482 Gui improvement add Theme prefrences
Submitted: 1 Dec 2015 15:42 Modified: 5 Feb 2018 8:42
Reporter: Louis de Gaulle Email Updates:
Status: Verified Impact on me:
None 
Category:MySQL Workbench Severity:S4 (Feature request)
Version:6.3.5, 6.3.10 OS:Linux (Gtk)
Assigned to: 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