View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0001859 | Database Workbench v5 | General | public | 2021-02-24 11:44 | 2021-03-30 10:26 |
| Reporter | Martijn Tonies | Assigned To | Martijn Tonies | ||
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | ||
| Fixed in Version | 5.7.10 | ||||
| Summary | 0001859: Duplicating Java Source in Navigator and wanting to edit before saving, doesn't open Editor | ||||
| Description | Duplicating Java Source in Navigator and wanting to edit before saving, doesn't open Java Source Editor | ||||
| Tags | No tags attached. | ||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2021-02-24 11:44 | Martijn Tonies | New Issue | |
| 2021-02-24 11:44 | Martijn Tonies | Status | new => assigned |
| 2021-02-24 11:44 | Martijn Tonies | Assigned To | => Martijn Tonies |
| 2021-02-24 11:44 | Martijn Tonies | Issue generated from: 0001851 | |
| 2021-02-24 11:49 | Martijn Tonies | Status | assigned => resolved |
| 2021-02-24 11:49 | Martijn Tonies | Resolution | open => fixed |
| 2021-02-24 11:49 | Martijn Tonies | Fixed in Version | => 5.7.10 |
| 2021-03-30 10:26 | Martijn Tonies | Status | resolved => closed |
