View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0002244 | Database Workbench v6 | General | public | 2024-06-28 12:16 | 2024-07-15 14:06 |
Reporter | Martijn Tonies | Assigned To | Martijn Tonies | ||
Priority | normal | Severity | minor | Reproducibility | have not tried |
Status | closed | Resolution | fixed | ||
Fixed in Version | 6.5.2 | ||||
Summary | 0002244: Data grid font & font size setting not reflected in editors | ||||
Description | Data grid font & font size setting not reflected in editors. Changing the font or size does not change the font or size in the editors. | ||||
Tags | No tags attached. | ||||
Date Modified | Username | Field | Change |
---|---|---|---|
2024-06-28 12:16 | Martijn Tonies | New Issue | |
2024-07-01 12:43 | Martijn Tonies | Assigned To | => Martijn Tonies |
2024-07-01 12:43 | Martijn Tonies | Status | new => resolved |
2024-07-01 12:43 | Martijn Tonies | Resolution | open => fixed |
2024-07-01 12:43 | Martijn Tonies | Fixed in Version | => 6.5.2 |
2024-07-15 14:06 | Martijn Tonies | Status | resolved => closed |