mailing-list for TeXmacs Users

Text archives Help


Re: how to cut and paste a drawn image within TeXmacs


Chronological Thread 
  • From: Mirko Vukovic <address@hidden>
  • To: Massimiliano Gubinelli <address@hidden>
  • Cc: TeXmacs <address@hidden>
  • Subject: Re: how to cut and paste a drawn image within TeXmacs
  • Date: Thu, 30 Jul 2020 11:31:19 -0400

When I select text, it gets copied
When I select text and drawing, nothing gets copied.

Also, I just realized I cannot delete drawings: delete and backspace keys have no effect with the cursor before and after the drawing.

Mirko

On Thu, Jul 30, 2020 at 10:55 AM Massimiliano Gubinelli <address@hidden> wrote:
What happens if you select some text and the drawing together and try to copy and paste? Do the text get copied but not the graphics or neither?

Best
mg


On 30. Jul 2020, at 16:53, Mirko Vukovic <address@hidden> wrote:

I should have mentioned, this is on Windows 10, TeXmacs 1.99.11 SVN version 12138. To re-iterate, I tried doing this using the menu commands as well.

When I select the drawing, it is highlighted in. I attach a screenshot of the selected portion of the buffer.

On Thu, Jul 30, 2020 at 10:32 AM Massimiliano Gubinelli <address@hidden> wrote:
It sound strange. Normally you should be able to copy/past a diagram environment. Note that this has to be done like other text elements, i.e. by selecting the portion with the cursor while in text mode and not selecting the graphical elements in the graphics mode.

Best
mg


> On 30. Jul 2020, at 15:52, Mirko Vukovic <address@hidden> wrote:
>
> Hello,
>
> I have drawn a diagram in a document.
>
> Now I would like to duplicate it in a different section, to modify it.
>
> I tried selecting the drawing, cutting, then pasting (using keyboard shortcuts or menus). But pasting does not create a copy of the drawing.
>
> Am I doing something wrong, or this feature was not supported by TeXmacs.
>
> Thank you,
>
> Mirko

<texmacs-drawing-selection-example.PNG>




Archive powered by MHonArc 2.6.19.

Top of page