Henrik Rydgård e74be9c492 DPI fixes in the old Win32 debugger. Fixes #11856.
Also some general cleanup of it but decided it wasn't worth it to continue.
2019-03-03 09:19:44 +01:00
..
2018-10-22 15:56:37 +01:00
2017-08-31 17:15:22 +02:00
2013-10-01 21:11:41 +02:00