mailing-list for TeXmacs Users

[Werner Hug <address@hidden>]

Hi everyone,

I have problems with copying contents from one Texmacs document to another.

The versions of Texmacs which show this problem are 1.0.7.14-1 as installed 
in Mint-13 (based on Ubuntu-12.04 LTS, with either the MATE or Cinnamon 
Desktop in their original versions or updated to version 1.4 and 1.6, 
respectively) and also Texmacs 1.0.7.15 as installed in Mint-14 (again with 
either MATE or Cinnamon).

Curiously, I can copy and paste text from a Texmacs document to a text editor 
such as gedit without a problem, and I can do the same from a text editor to 
a Texmacs document, just between Texmacs documents (where it really matters) 
it is impossible. 

Copy-paste from one document to another still worked in version 1.0.7.2 in 
Fedora-13 (though regrettably no longer with a middle-button mouse klick as 
in earlier versions of Texmacs).

Thanks in advance for any suggestions,

Werner Hug

 

-- 
Werner Hug <address@hidden>
Werner Hug
ch. du Devin 4
1092 Belmont