language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-28 12:14:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update rename.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-08-30 13:16:18 +09:00
parent 1332b009b7
commit f69e45f18b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/els/rename.rs
View file

@ -31,7 +31,7 @@ impl<Checker: BuildRunnable, Parser: Parsable> Server<Checker, Parser> {
send_log(format!("rename request: {params:?}"))?; send_log(format!("rename request: {params:?}"))?;
let uri = NormalizedUrl::new(params.text_document_position.text_document.uri); let uri = NormalizedUrl::new(params.text_document_position.text_document.uri);
let pos = params.text_document_position.position; let pos = params.text_document_position.position;
if let Some(tok) = self.file_cache.get_token(&uri, pos) { if let Some(tok) = self.file_cache.get_symbol(&uri, pos) {
// send_log(format!("token: {tok}"))?; // send_log(format!("token: {tok}"))?;
if let Some(vi) = self if let Some(vi) = self
.get_visitor(&uri) .get_visitor(&uri)