public string GetHighlightsAsJSON()
{
lock (access_lock)
{
return(doc.GetHighlightsAsJSON());
}
}
internal static void WriteToDisk(PDFDocument_ThreadUnsafe pdf_document)
{
string json = pdf_document.GetHighlightsAsJSON();
if (!String.IsNullOrEmpty(json))
{
pdf_document.Library.LibraryDB.PutString(pdf_document.Fingerprint, PDFDocumentFileLocations.HIGHLIGHTS, 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.GetHighlightsAsJSON();
if (!String.IsNullOrEmpty(json))
{
pdf_document.Library.LibraryDB.PutString(pdf_document.Fingerprint, PDFDocumentFileLocations.HIGHLIGHTS, json);
}
}