On Thu, Oct 22, 2020 at 10:57:04AM +0200, Massimiliano Gubinelli wrote:
> I just noted that cut and paste of parts of PDF documents (e.g. from the
> Preview app) to TeXmacs produce inserted images with a lower (and quite
> bad) resolution. Is this a known bug?
I don't manage to copy and paste images at all.
But ordinary text does copy and paste well.
Best wishes, --Joris
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.orghttps://lists.gnu.org/mailman/listinfo/texmacs-dev