View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0000822 | Database Workbench v4 | General | public | 2014-02-19 15:40 | 2014-03-19 11:54 |
| Reporter | Martijn Tonies | Assigned To | Martijn Tonies | ||
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | ||
| Fixed in Version | 4.4.5 | ||||
| Summary | 0000822: Grid font size in Preferences not used in editor grids | ||||
| Description | Grid font size in Preferences not used in editor grids | ||||
| Tags | No tags attached. | ||||
| DBMS & Version | |||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2014-02-19 15:40 | Martijn Tonies | New Issue | |
| 2014-02-19 15:40 | Martijn Tonies | Assigned To | => Martijn Tonies |
| 2014-02-19 15:40 | Martijn Tonies | Status | new => acknowledged |
| 2014-02-20 10:19 | Martijn Tonies | Status | acknowledged => assigned |
| 2014-02-20 11:39 | Martijn Tonies | Status | assigned => resolved |
| 2014-02-20 11:39 | Martijn Tonies | Fixed in Version | => 4.4.5 |
| 2014-02-20 11:39 | Martijn Tonies | Resolution | open => fixed |
| 2014-03-19 11:54 | Martijn Tonies | Status | resolved => closed |
