View Issue Details

IDProjectCategoryView StatusLast Update
0001984Database Workbench v6Generalpublic2022-02-15 10:55
ReporterMartijn Tonies Assigned ToMartijn Tonies  
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionfixed 
Fixed in Version6.0.4 
Summary0001984: Gutter width in code editors not scaling properly
DescriptionGutter width in code editors not scaling properly
TagsNo tags attached.


There are no notes attached to this issue.

Issue History

Date Modified Username Field Change
2022-02-14 09:51 Martijn Tonies New Issue
2022-02-14 11:46 Martijn Tonies Assigned To => Martijn Tonies
2022-02-14 11:46 Martijn Tonies Status new => resolved
2022-02-14 11:46 Martijn Tonies Resolution open => fixed
2022-02-14 11:46 Martijn Tonies Fixed in Version => 6.0.4
2022-02-15 10:55 Martijn Tonies Status resolved => closed