public byte[] GetInksAsJSON()
 {
     lock (access_lock)
     {
         return(doc.GetInksAsJSON());
     }
 }
        internal static void WriteToDisk(PDFDocument_ThreadUnsafe pdf_document)
        {
            byte[] data = pdf_document.GetInksAsJSON();

            if (null != data)
            {
                pdf_document.Library.LibraryDB.PutBlob(pdf_document.Fingerprint, PDFDocumentFileLocations.INKS, data);
            }
        }
        internal static void WriteToDisk(PDFDocument_ThreadUnsafe pdf_document, bool force_flush_no_matter_what)
        {
            if (!force_flush_no_matter_what)
            {
                WPFDoEvents.AssertThisCodeIs_NOT_RunningInTheUIThread();
            }

            byte[] data = pdf_document.GetInksAsJSON();

            if (null != data)
            {
                pdf_document.Library.LibraryDB.PutBlob(pdf_document.Fingerprint, PDFDocumentFileLocations.INKS, data);
            }
        }