diff options
| -rw-r--r-- | src/files_map-editor.adb | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/files_map-editor.adb b/src/files_map-editor.adb index 6253d1cf7..ad04973dc 100644 --- a/src/files_map-editor.adb +++ b/src/files_map-editor.adb @@ -373,6 +373,17 @@ package body Files_Map.Editor is Text_Ptr (0 .. Text_Len - 1)); end Replace_Text_Ptr; + procedure Set_Gap (File : Source_File_Entry; + First : Source_Ptr; + Last : Source_Ptr) + is + pragma Assert (File <= Source_Files.Last); + F : Source_File_Record renames Source_Files.Table (File); + begin + F.Gap_Start := First; + F.Gap_Last := Last; + end Set_Gap; + procedure Fill_Text_Ptr (File : Source_File_Entry; Text_Ptr : File_Buffer_Ptr; Text_Len : Source_Ptr) @@ -402,17 +413,6 @@ package body Files_Map.Editor is File_Add_Line_Number (File, 1, Source_Ptr_Org); end Fill_Text_Ptr; - procedure Set_Gap (File : Source_File_Entry; - First : Source_Ptr; - Last : Source_Ptr) - is - pragma Assert (File <= Source_Files.Last); - F : Source_File_Record renames Source_Files.Table (File); - begin - F.Gap_Start := First; - F.Gap_Last := Last; - end Set_Gap; - procedure Check_Buffer_Content (File : Source_File_Entry; Str : File_Buffer_Ptr; Str_Len : Source_Ptr) |