-
Sven Neumann authored
without resizing the window; this should fix the problems with 100dpi fonts. --Sven
f73afe16
To find the state of this project's repository at the time of any of these versions, check out the tags.
without resizing the window; this should fix the problems with 100dpi fonts. --Sven