The problem was not that I couldn't get the pictures out of the PDF. The problem was that simply highlighting them, copying them and then pasting them into TiddlyWiki unexpectedly and transparently converted them to PNG encoded images from JPG encoded images. I have since used the "Save As" option in Evince at home to save them to a format of my choice. Saving them as JPG reduced the size by an order of magnitude again.
I guess my understanding that the images embedded in a PDF has their format preserved was incorrect ... or the format was ignored by Chrome when copying and pasting. /Mike On Wednesday, March 18, 2015 at 10:04:26 PM UTC-4, RichardWilliamSmith wrote: > > Sorry if this is too simplistic but if you want to get the images out and > you're happy to do it by hand, you could just grab them from the screen - > if you're using a mac this is super-easy using shift-command-4 and then > selecting the portion of the screen. It makes png images and you can drag > them all into TW at once. > > Regards, > Richard > -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/tiddlywiki. For more options, visit https://groups.google.com/d/optout.
