diff options
| author | Jesse Rosenthal <jrosenthal@jhu.edu> | 2016-12-13 20:22:50 -0500 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-25 17:07:42 +0100 |
| commit | 55dbc00d55a4136271cd4c4d7ff4ab73d186f4b6 (patch) | |
| tree | dc3db73154ac9431c4407d20e254972731875b2a /src/Text/Pandoc/PDF.hs | |
| parent | 5814096d79770edabc2822ff66747e3559c61e76 (diff) | |
| download | pandoc-55dbc00d55a4136271cd4c4d7ff4ab73d186f4b6.tar.gz | |
Integrate DeferredMediaBag into CommonState
The DeferredMediaBag is now the object that is held in state. It should
not be visible to users, who will still deal with MediaBag through
exported getters and setters.
We now have a function `fetchDeferredMedia` which returns () but
downloads/reads in all of the deferred media.
Note that getMediaBag first fetches all deferred media.
Diffstat (limited to 'src/Text/Pandoc/PDF.hs')
0 files changed, 0 insertions, 0 deletions