You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: