- From: François Poulain <address@hidden>
- To: address@hidden
- Cc: Werner Hug <address@hidden>
- Subject: Re: [TeXmacs] copy-paste between documents
- Date: Fri, 14 Dec 2012 11:57:41 +0100
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>
Archive powered by MHonArc 2.6.19.