15 Jun
2021
15 Jun
'21
5:53 p.m.
On Tue, 15 Jun 2021 13:07:04 +0200
Hans Hagen
the windows mupdf viewer is somewhat crippled (no selection) but searching for something shows the right bbox
I do not know about Windows ports, but mupdf and mupdf-gl differ, not only in their rendering but also in their keystrokes and mouse bindings. Alan