View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0001403 | Database Workbench v5 | General | public | 2016-07-13 12:24 | 2016-09-07 16:19 |
| Reporter | Martijn Tonies | Assigned To | |||
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | closed | Resolution | open | ||
| Fixed in Version | 5.2.0 | ||||
| Summary | 0001403: Misc small issues | ||||
| Description | - MSSQL: DB User/DB Role buttons not enabled after connecting to database, editors only reachable via DB Navigator - copyright year in Splash screen modified - DataPump: ignore mousewheel in Server type box when there's a connection to avoid accidentally clearing mappings. - To-Do List didn't include session identifier in caption - small memory leak removed for Workspace Project notes - SQL Editor filenames can be shortened for the Task Bar | ||||
| Tags | No tags attached. | ||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2016-07-13 12:24 | Martijn Tonies | New Issue | |
| 2016-08-03 12:29 | Martijn Tonies | Description Updated | |
| 2016-08-11 10:11 | Martijn Tonies | Description Updated | |
| 2016-08-11 10:37 | Martijn Tonies | Description Updated | |
| 2016-09-06 11:06 | Martijn Tonies | Status | new => resolved |
| 2016-09-06 11:06 | Martijn Tonies | Fixed in Version | => 5.2.0 |
| 2016-09-06 11:06 | Martijn Tonies | Description Updated | |
| 2016-09-07 16:19 | Martijn Tonies | Status | resolved => closed |
