View Issue Details

IDProjectCategoryView StatusLast Update
0001545Database Workbench v5Generalpublic2018-02-06 13:41
ReporterMartijn Tonies Assigned ToMartijn Tonies  
PrioritynormalSeveritytweakReproducibilityhave not tried
Status closedResolutionfixed 
Fixed in Version5.4.0 
Summary0001545: Add setting for DB Navigator incremental search timeout
DescriptionAdd setting for DB Navigator incremental search timeout
TagsNo tags attached.


There are no notes attached to this issue.

Issue History

Date Modified Username Field Change
2017-10-30 14:37 Martijn Tonies New Issue
2018-01-16 09:28 Martijn Tonies Assigned To => Martijn Tonies
2018-01-16 09:28 Martijn Tonies Status new => assigned
2018-01-16 09:54 Martijn Tonies Status assigned => resolved
2018-01-16 09:54 Martijn Tonies Fixed in Version => 5.4.0
2018-01-16 09:54 Martijn Tonies Resolution open => fixed
2018-02-06 13:41 Martijn Tonies Status resolved => closed