diff options
Diffstat (limited to 'src/files_map-editor.ads')
| -rw-r--r-- | src/files_map-editor.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/files_map-editor.ads b/src/files_map-editor.ads index 5e2cb21e7..a2e3175e1 100644 --- a/src/files_map-editor.ads +++ b/src/files_map-editor.ads @@ -32,10 +32,10 @@ package Files_Map.Editor is Text_Ptr : File_Buffer_Ptr; Text_Len : Source_Ptr); - -- Set the position of the GAP in FILE. - procedure Set_Gap (File : Source_File_Entry; - First : Source_Ptr; - Last : Source_Ptr); + -- Replace the content of FILE with TEXT. + procedure Fill_Text_Ptr (File : Source_File_Entry; + Text_Ptr : File_Buffer_Ptr; + Text_Len : Source_Ptr); -- Recompute lines number. procedure Compute_Lines (File : Source_File_Entry); |