View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0002127 | Database Workbench v6 | General | public | 2023-03-22 13:08 | 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 | 0002127: Dropdown object selector in Object Editors/etc now include more info and filter box | ||||
| Description | Dropdown object selector in Object Editors/etc now include more info and filter box. Also faster to drop down when this is a large list (1000+ items) | ||||
| Tags | No tags attached. | ||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2023-03-22 13:08 | Martijn Tonies | New Issue | |
| 2023-03-22 13:09 | Martijn Tonies | Assigned To | => Martijn Tonies |
| 2023-03-22 13:09 | Martijn Tonies | Status | new => assigned |
| 2023-03-30 11:21 | Martijn Tonies | Status | assigned => resolved |
| 2023-03-30 11:21 | Martijn Tonies | Resolution | open => fixed |
| 2023-03-30 11:21 | Martijn Tonies | Fixed in Version | => 6.2.0 |
| 2023-04-24 10:07 | Martijn Tonies | Status | resolved => closed |
