View Issue Details

IDProjectCategoryView StatusLast Update
0002101Database Workbench v6Generalpublic2023-04-24 10:07
ReporterMartijn Tonies Assigned ToMartijn Tonies  
PrioritynormalSeverityfeatureReproducibilityhave not tried
Status closedResolutionfixed 
Fixed in Version6.2.0 
Summary0002101: Ability to cancel ongoing database search
DescriptionAbility to cancel ongoing database search.

Searching can take a long time, ability to cancel would be nice.
TagsNo tags attached.


There are no notes attached to this issue.

Issue History

Date Modified Username Field Change
2022-11-30 14:13 Martijn Tonies New Issue
2022-11-30 15:12 Martijn Tonies Assigned To => Martijn Tonies
2022-11-30 15:12 Martijn Tonies Status new => resolved
2022-11-30 15:12 Martijn Tonies Resolution open => fixed
2022-11-30 15:12 Martijn Tonies Fixed in Version => 6.2.0
2023-04-24 10:07 Martijn Tonies Status resolved => closed