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); } }