View Issue Details

IDProjectCategoryView StatusLast Update
0001019Database Workbench v5Generalpublic2014-09-18 10:36
ReporterMartijn Tonies Assigned ToMartijn Tonies  
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionfixed 
Fixed in Version5.0.2 
Summary0001019: When searching for text in an editor, the found text is highlighted, but not selected
DescriptionWhen not selected, you have to manually select the text to change it.
TagsNo tags attached.

Activities

There are no notes attached to this issue.

Issue History

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