View Issue Details

IDProjectCategoryView StatusLast Update
0000822Database Workbench v4Generalpublic2014-03-19 11:54
ReporterMartijn Tonies Assigned ToMartijn Tonies  
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionfixed 
Fixed in Version4.4.5 
Summary0000822: Grid font size in Preferences not used in editor grids
DescriptionGrid font size in Preferences not used in editor grids
TagsNo tags attached.
DBMS & Version


There are no notes attached to this issue.

Issue History

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