diff options
Diffstat (limited to 'src/files_map-editor.ads')
-rw-r--r-- | src/files_map-editor.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/files_map-editor.ads b/src/files_map-editor.ads index d45e83c45..4ae740f90 100644 --- a/src/files_map-editor.ads +++ b/src/files_map-editor.ads @@ -40,6 +40,11 @@ package Files_Map.Editor is Text_Ptr : File_Buffer_Ptr; Text_Len : Source_Ptr); + -- Copy content of SRC to DEST. The size of DEST must be large enough. + -- Clear lines table of DEST. + procedure Copy_Source_File (Dest : Source_File_Entry; + Src : Source_File_Entry); + -- Recompute lines number. procedure Compute_Lines (File : Source_File_Entry); |