Álvaro Tejero Cantero wrote:
Actually, the standard X11 protocol copy-on-selection doesn't work.
Indeed, I can reproduce the problem. I will look at it.
_______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
