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: | |
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
[5 Feb 2018 8:42]
MySQL Verification Team
Hello Louis, Thank you for the report and feature request! Thanks, Umesh