racket/racket

Point write-to-file to write-editor-global-header

Chiusa

#5224 aperta il 6 mar 2025

 (5 commenti) (0 reazioni) (1 assegnatario)Racket (696 fork)github user discovery
documentationgood first issue

Metriche repository

Star
 (5199 stelle)
Metriche merge PR
 (Merge medio 81g 9h) (4 PR mergiate in 30 g)

Descrizione

Based on the discussions in https://racket.discourse.group/t/how-to-serialize-deserialize-text-editors-and-structures-including-text-editors/3605, and in particular from alexh's solution, write-editor-global-header and write-editor-global-footer need to bracket write-to-file calls (and vice versa for reads).

However, write-to-file does not directly mention write-editor-global-header, and the explanation is only in write-editor-global-header. The documentation of write-to-file only says "See also File Format" but it is not obvious that one should be looking at write-editor-global-header.

Guida contributor