Bug #91877 | Ctrl commands not working on result grid or query editor | ||
---|---|---|---|
Submitted: | 2 Aug 2018 18:19 | Modified: | 3 Aug 2018 4:42 |
Reporter: | Nelson Antunes | Email Updates: | |
Status: | Duplicate | Impact on me: | |
Category: | MySQL Workbench | Severity: | S3 (Non-critical) |
Version: | 8.0.12 | OS: | Linux (Ubuntu 18.04.1 x86_64) |
Assigned to: | CPU Architecture: | x86 (Intel® Core™ i5-7200U CPU @ 2.50GHz × 4) | |
Tags: | WBBugReporter |
[2 Aug 2018 18:19]
Nelson Antunes