The Coq mailing list

[CJ Bell <siegebell AT gmail.com>]

To anyone who is using CoqIDE on Windows 8.1 with a high resolution
"retina" display: you may have noticed that the IDE is very blurry
(i.e. has pixelated fonts). You can resolve this by telling Windows to
not scale its applications, which results in everything being very
tiny.

The other solution is to is to create a file called
coqide.exe.manifest in the same directory as coqide.exe, with the
following contents:

<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0"
xmlns:asmv3="urn:schemas-microsoft-com:asm.v3">
  <asmv3:application>
    <asmv3:windowsSettings
xmlns="http://schemas.microsoft.com/SMI/2005/WindowsSettings";>
      <dpiAware>true</dpiAware>
    </asmv3:windowsSettings>
  </asmv3:application>
</assembly>


This tells Windows that CoqIDE (i.e. GTK) is DPI aware and can scale
itself properly. (This is mostly true, with exceptions like its
scrollbars and buttons appearing very tiny).


I've filed a bug report: https://coq.inria.fr/bugs/show_bug.cgi?id=3500


-cj