Giters

yishn / tikzcd-editor

A simple visual editor for creating commutative diagrams.

Home Page:https://tikzcd.yichuanshen.de/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Copy and Pasting Arrows

maxsnew opened this issue · comments

commented

Often when I have a square, the opposite sides of the square will be formatted as the same kind of arrow, for instance the pullback of an epi is epi.
It would be useful for that case then to only format one of the arrows and then copy and paste it on the other side of the square.

Also it would just make it easier to move stuff around. For that purpose you might want to have area selection too, but just single arrow copy/paste would be very useful.