View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0001019 | Database Workbench v5 | General | public | 2014-09-08 20:00 | 2014-09-18 10:36 |
Reporter | Martijn Tonies | Assigned To | Martijn Tonies | ||
Priority | normal | Severity | minor | Reproducibility | have not tried |
Status | closed | Resolution | fixed | ||
Fixed in Version | 5.0.2 | ||||
Summary | 0001019: When searching for text in an editor, the found text is highlighted, but not selected | ||||
Description | When not selected, you have to manually select the text to change it. | ||||
Tags | No tags attached. | ||||
Date Modified | Username | Field | Change |
---|---|---|---|
2014-09-08 20:00 | Martijn Tonies | New Issue | |
2014-09-08 20:04 | Martijn Tonies | Status | new => resolved |
2014-09-08 20:04 | Martijn Tonies | Fixed in Version | => 5.0.2 |
2014-09-08 20:04 | Martijn Tonies | Resolution | open => fixed |
2014-09-08 20:04 | Martijn Tonies | Assigned To | => Martijn Tonies |
2014-09-18 10:36 | Martijn Tonies | Status | resolved => closed |