View Issue Details

IDProjectCategoryView StatusLast Update
0002244Database Workbench v6Generalpublic2024-07-15 14:06
ReporterMartijn Tonies Assigned ToMartijn Tonies  
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionfixed 
Fixed in Version6.5.2 
Summary0002244: Data grid font & font size setting not reflected in editors
DescriptionData grid font & font size setting not reflected in editors. Changing the font or size does not change the font or size in the editors.
TagsNo tags attached.


There are no notes attached to this issue.

Issue History

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