mailing-list for TeXmacs Users

[François Poulain <address@hidden>]

Hi,

As far as I know, it's a bug. It is reproducible. We have to fix it.

François

Le Fri, 7 Dec 2012 16:27:10 +0100,
Werner Hug <address@hidden> a écrit :

> 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
> 
>  
> 



-- 
François Poulain <address@hidden>