| Bug #90754 | Table Editor has different fonts | ||
|---|---|---|---|
| Submitted: | 4 May 2018 16:05 | Modified: | 4 May 2018 16:51 |
| Reporter: | mike coutinho | Email Updates: | |
| Status: | Verified | Impact on me: | |
| Category: | MySQL Workbench | Severity: | S3 (Non-critical) |
| Version: | 8.0.11 | OS: | MacOS (10.13) |
| Assigned to: | CPU Architecture: | Any | |
- View
- Add Comment
- Files
- Developer
- Edit Submission
- View Progress Log
- Contributions
To submit contributions, please log in.
