mailing-list for TeXmacs Users

[Lukasz Stafiniak <address@hidden>]

Hi,

I have problems with pasting from the system clipboard -- once I
change the style (to anything, after opening TeXmacs) and copy
something within TeXmacs, the system clipboard is ignored and what
gets pasted is always the last thing copied within TeXmacs.

Any ideas how to fix this?

TeXmacs 1.0.7.14 (from Linux binary on the texmacs webpage, under Ubuntu)

Happy New Year,
Łukasz