diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-06-03 18:28:46 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-06-03 18:32:36 +0200 |
| commit | 8c3ee7c18f21962176668130a923608da1f52928 (patch) | |
| tree | f894ad52dcaa2d0777d0974f4093b01ffa91b585 /src/files_map-editor.ads | |
| parent | 296a2651cfe3ab9e66ed2562e5599afee3776027 (diff) | |
| download | ghdl-8c3ee7c18f21962176668130a923608da1f52928.tar.gz ghdl-8c3ee7c18f21962176668130a923608da1f52928.tar.bz2 ghdl-8c3ee7c18f21962176668130a923608da1f52928.zip | |
files_map-editor: add Fill_Text_Ptr.
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); |