sgerwk
Results
5
comments of
sgerwk
I added the possibility of switching terminals by alt-rightarrow/leftwarrow in my patch: https://github.com/sgerwk/green You may try it and tell me whether it works for you. The patch also fixes the...
As a workaround, you can "move" the caption outside the environment, like this for a picture environment: ``` sed -e '/\\caption{.*}/ h' -e '/\\end{picture}/ {G;p;s,.,,g;x;d}' somefile.tex | detex ```