View Issue Details

IDProjectCategoryView StatusLast Update
0001477Database Workbench v5Generalpublic2017-04-18 13:25
ReporterMartijn Tonies Assigned ToMartijn Tonies  
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionfixed 
Fixed in Version5.3.0 
Summary0001477: Some HighDPI issues
Description- Visual Query Builder, tree item size and table font size
- Search/Replace dialog issues
TagsNo tags attached.


There are no notes attached to this issue.

Issue History

Date Modified Username Field Change
2017-03-01 11:15 Martijn Tonies New Issue
2017-03-29 12:22 Martijn Tonies Status new => resolved
2017-03-29 12:22 Martijn Tonies Fixed in Version => 5.3.0
2017-03-29 12:22 Martijn Tonies Resolution open => fixed
2017-03-29 12:22 Martijn Tonies Assigned To => Martijn Tonies
2017-04-18 13:25 Martijn Tonies Status resolved => closed