bkiefer / GraVE

Other
0 stars 0 forks source link

"Zoom" does not behave as expected #13

Closed bkiefer closed 5 years ago

bkiefer commented 5 years ago

I would expect that everything changes size (maybe except font?), such that you get the same picture, just bigger/smaller:

bkiefer commented 5 years ago

zoom factor should be a project property, with default in EditorConfig

bkiefer commented 5 years ago

fixed by aed3332c63f9b69fa43a1c68cb9c309f5e506cfa