Bug #8525 | Shift+backspace doesn't erase characters | ||
---|---|---|---|
Submitted: | 15 Feb 2005 21:44 | Modified: | 16 Feb 2005 10:21 |
Reporter: | Bryan B | Email Updates: | |
Status: | Closed | Impact on me: | |
Category: | MySQL Query Browser | Severity: | S3 (Non-critical) |
Version: | 1.1.5 | OS: | Windows (Windows XP SP2) |
Assigned to: | Mike Lischke | CPU Architecture: | Any |
[15 Feb 2005 21:44]
Bryan B
[16 Feb 2005 1:03]
MySQL Verification Team
Thank you for the bug report.
[16 Feb 2005 10:21]
Mike Lischke
Thank you for your bug report. This issue has been committed to our source repository of that product and will be incorporated into the next release. If necessary, you can access the source repository and build the latest available version, including the bugfix, yourself. More information about accessing the source trees is available at http://www.mysql.com/doc/en/Installing_source_tree.html