MySQL Bugs: #79482: Gui improvement add Theme prefrences

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

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

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...

Hello Louis,

Thank you for the report and feature request!

Thanks,
Umesh