rename stray id field

This commit is contained in:
Pascal Hertleif 2019-05-26 15:39:57 +02:00
parent 5abcca516d
commit 4ac338b608
No known key found for this signature in database
GPG key ID: EDBB1A8D2047A074
2 changed files with 2 additions and 2 deletions

View file

@ -875,7 +875,7 @@ fn highlight(world: &ServerWorld, file_id: FileId) -> Result<Vec<Decoration>> {
.map(|h| Decoration {
range: h.range.conv_with(&line_index),
tag: h.tag,
id: h.binding_hash.map(|x| x.to_string()),
binding_hash: h.binding_hash.map(|x| x.to_string()),
})
.collect();
Ok(res)

View file

@ -129,7 +129,7 @@ pub struct PublishDecorationsParams {
pub struct Decoration {
pub range: Range,
pub tag: &'static str,
pub id: Option<String>,
pub binding_hash: Option<String>,
}
pub enum ParentModule {}