diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-27 21:13:08 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-27 21:13:08 +0000 |
| commit | 84f1660a37fa28c4ca4e7e75db5715b12904061a (patch) | |
| tree | 333db3209f9acb92601c4ab63a10c63322807a40 /crates/ide_db/src/source_change.rs | |
| parent | 97dbbad482e3382da027f2f151354445d8af029a (diff) | |
| parent | 1ef55002c2db4ca68df31306290b019c7fbfb4fb (diff) | |
Merge #8220
8220: Reorder some ide_db imports r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/ide_db/src/source_change.rs')
| -rw-r--r-- | crates/ide_db/src/source_change.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crates/ide_db/src/source_change.rs b/crates/ide_db/src/source_change.rs index b36455d49..846530f78 100644 --- a/crates/ide_db/src/source_change.rs +++ b/crates/ide_db/src/source_change.rs | |||
| @@ -37,6 +37,8 @@ impl SourceChange { | |||
| 37 | } | 37 | } |
| 38 | } | 38 | } |
| 39 | 39 | ||
| 40 | /// Inserts a [`TextEdit`] for the given [`FileId`]. This properly handles merging existing | ||
| 41 | /// edits for a file if some already exist. | ||
| 40 | pub fn insert_source_edit(&mut self, file_id: FileId, edit: TextEdit) { | 42 | pub fn insert_source_edit(&mut self, file_id: FileId, edit: TextEdit) { |
| 41 | match self.source_file_edits.entry(file_id) { | 43 | match self.source_file_edits.entry(file_id) { |
| 42 | Entry::Occupied(mut entry) => { | 44 | Entry::Occupied(mut entry) => { |