blob: 3267d1ac5a4ec6bc515d9e5f3752a5d3e8f38d8f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
---
created: "2019-01-22T14:45:00.975229300+00:00"
creator: [email protected]
expression: "&source_change"
source: "crates\\ra_ide_api\\src\\rename.rs"
---
Some(
SourceChange {
label: "rename",
source_file_edits: [
SourceFileEdit {
file_id: FileId(
1
),
edit: TextEdit {
atoms: [
AtomTextEdit {
delete: [4; 7),
insert: "foo2"
}
]
}
}
],
file_system_edits: [
MoveFile {
src: FileId(
2
),
dst_source_root: SourceRootId(
0
),
dst_path: "bar/foo2.rs"
}
],
cursor_position: None
}
)
|