Render log entry annotations in the CodeMirror 6 gutter (#5654)

GitOrigin-RevId: e68c913a572a24c037167fe8b3418ec9ac4ce6ab
This commit is contained in:
Alf Eaton 2021-11-15 12:50:42 +00:00 committed by Copybot
parent efcc15d5b5
commit f351a7af0a

View file

@ -40,6 +40,7 @@ CompileContext.Provider.propTypes = {
hasChanges: PropTypes.bool.isRequired,
highlights: PropTypes.arrayOf(PropTypes.object),
logEntries: PropTypes.object,
logEntryAnnotations: PropTypes.object,
pdfDownloadUrl: PropTypes.string,
pdfUrl: PropTypes.string,
pdfViewer: PropTypes.string,
@ -77,7 +78,9 @@ export function CompileProvider({ children }) {
const [logEntries, setLogEntries] = useScopeValueSetterOnly('pdf.logEntries')
// annotations for display in the editor, built from the log entries
const [, setLogEntryAnnotations] = useScopeValue('pdf.logEntryAnnotations')
const [logEntryAnnotations, setLogEntryAnnotations] = useScopeValue(
'pdf.logEntryAnnotations'
)
// the PDF viewer
const [pdfViewer] = useScopeValue('settings.pdfViewer')
@ -426,6 +429,7 @@ export function CompileProvider({ children }) {
fileList,
hasChanges,
highlights,
logEntryAnnotations,
logEntries,
pdfDownloadUrl,
pdfUrl,
@ -463,6 +467,7 @@ export function CompileProvider({ children }) {
hasChanges,
highlights,
logEntries,
logEntryAnnotations,
position,
pdfDownloadUrl,
pdfUrl,