public string GetAnnotationsAsJSON()
{
lock (access_lock)
{
return(doc.GetAnnotationsAsJSON());
}
}
internal static void WriteToDisk(PDFDocument_ThreadUnsafe pdf_document)
{
string json = pdf_document.GetAnnotationsAsJSON();
if (!String.IsNullOrEmpty(json))
{
pdf_document.Library.LibraryDB.PutString(pdf_document.Fingerprint, PDFDocumentFileLocations.ANNOTATIONS, json);
}
}
internal static void WriteToDisk(PDFDocument_ThreadUnsafe pdf_document, bool force_flush_no_matter_what)
{
if (!force_flush_no_matter_what)
{
WPFDoEvents.AssertThisCodeIs_NOT_RunningInTheUIThread();
}
string json = pdf_document.GetAnnotationsAsJSON();
if (!String.IsNullOrEmpty(json))
{
pdf_document.Library.LibraryDB.PutString(pdf_document.Fingerprint, PDFDocumentFileLocations.ANNOTATIONS, json);
}
}