On 1/28/2023 9:26 PM, Kalouguine Andre via ntg-context wrote:

On 28.01.2023 17:37, Pablo Rodriguez via ntg-context wrote:

Using Fedora 37 (and having just installed Okular), I see that
annotations are tricky to open in Okular.

First you have to select the Annotations tab on the left pane, go to the
annotation and then right-click on it to open (the pop-up note).

Evince has a more effective approach: double-clicking on the icon opens
the note (afaIk, this is similar to Acrobat).
Right you are, it works with your method, thanks!
I think the students have Evince so perhaps it's the best solution in the absence

there are some provisions for spaces in text but for verbatim it is a bit more tricky

\setuptyping[space=on]

you now see visual spaces show up that can be copied

now, say that we add real spaces, which you can do after and this (in cont-new.mkxl):

\unprotect
\setvalue{\??typingspace\v!character}{\chardef\obeyedspace32 }
\protect

and then:

\setuptyping[space=character]

in sumatra pdf:

default : spaces are copied as spaces (so three become three
on : visual spaces for every one
character : funny newlines when more than two spaces