View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0002101 | Database Workbench v6 | General | public | 2022-11-30 14:13 | 2023-04-24 10:07 |
Reporter | Martijn Tonies | Assigned To | Martijn Tonies | ||
Priority | normal | Severity | feature | Reproducibility | have not tried |
Status | closed | Resolution | fixed | ||
Fixed in Version | 6.2.0 | ||||
Summary | 0002101: Ability to cancel ongoing database search | ||||
Description | Ability to cancel ongoing database search. Searching can take a long time, ability to cancel would be nice. | ||||
Tags | No tags attached. | ||||
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 |