On Tue, 15 Jun 2021 20:57:09 +0200
Hans Hagen
On 6/15/2021 8:54 PM, Alan Braslau wrote:
On Tue, 15 Jun 2021 20:29:26 +0200 Hans Hagen
wrote: On 6/15/2021 7:53 PM, Alan Braslau wrote:
On Tue, 15 Jun 2021 13:07:04 +0200 Hans Hagen
wrote: 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. yes there are windows versions, but just as rudimentary and no text selection (copy)
"The right mouse button selects a region and copies the marked text to the clipboard."
Maybe this is broken (as Luigi suggests) or requires some special setup/configuration? I was refereing to a textual copy, not an image one. So one selects 'abc' and gets 'abc' (with the right unicodes).
That is what I get using mupdf (x11). I found this comment: "Copy-paste will only work if mupdf-gl is built against the bundled copy of FreeGLUT, which adds the functions glutSetClipboard and glutGetClipboard." And, for example: https://github.com/NixOS/nixpkgs/issues/104017