| Bug #85309 | Provide Options to Customize Colors in SQL Editor | ||
|---|---|---|---|
| Submitted: | 4 Mar 2017 23:12 | Modified: | 2 Feb 2018 13:54 |
| Reporter: | Marcelo Ruiz | Email Updates: | |
| Status: | Verified | Impact on me: | |
| Category: | MySQL Workbench: SQL Editor | Severity: | S4 (Feature request) |
| Version: | 6.3.9, 6.3.10 | OS: | Linux |
| Assigned to: | CPU Architecture: | Any | |
- View
- Add Comment
- Files
- Developer
- Edit Submission
- View Progress Log
- Contributions
To submit contributions, please log in.
