Hola Miguel,
Nice and clean macro definition (I thought it would be much more
complicated). Many thanks! As for including this in the pdf export, it's
OK if it takes you longer to implement ;-) .
Let me also say that I'm very grateful to you for having recently fixed
some annoyances (lack of shift-click for extending the selection, not
overwriting the selection in sessions...). You're doing a fantastic job!
Best regards,
Philippe
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev
