Currently the workflow for exporting to PDF is quite painful. You have to File → Make a Copy, choose a name for the copy, then File → Download. And then presumably delete the copy, because it's basically useless to keep around.
Does Google Docs provide the mechanism for a plugin to produce a file download? If so, is it possible to have a "download unlinked" option that combines the above process into one function that produces the final PDF?
Currently the workflow for exporting to PDF is quite painful. You have to File → Make a Copy, choose a name for the copy, then File → Download. And then presumably delete the copy, because it's basically useless to keep around.
Does Google Docs provide the mechanism for a plugin to produce a file download? If so, is it possible to have a "download unlinked" option that combines the above process into one function that produces the final PDF?