aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_ide
diff options
context:
space:
mode:
authorPaul Daniel Faria <[email protected]>2020-06-23 17:15:45 +0100
committerGitHub <[email protected]>2020-06-23 17:15:45 +0100
commit1e9095ae8c98813ba2e89318f35f0ec15cc833b3 (patch)
treef66da969f56bde62cefc24b63034727434aca03e /crates/ra_ide
parent2a56323537442958008d0fddd78e33df425b11a9 (diff)
Update comment for pop_and_inject
Co-authored-by: Leander Tentrup <[email protected]>
Diffstat (limited to 'crates/ra_ide')
-rw-r--r--crates/ra_ide/src/syntax_highlighting.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/ra_ide/src/syntax_highlighting.rs b/crates/ra_ide/src/syntax_highlighting.rs
index 3dffddce5..4061a335e 100644
--- a/crates/ra_ide/src/syntax_highlighting.rs
+++ b/crates/ra_ide/src/syntax_highlighting.rs
@@ -339,8 +339,8 @@ impl HighlightedRangeStack {
339 /// can only modify the last range currently on the stack. 339 /// can only modify the last range currently on the stack.
340 /// Can be used to do injections that span multiple ranges, like the 340 /// Can be used to do injections that span multiple ranges, like the
341 /// doctest injection below. 341 /// doctest injection below.
342 /// If `inject` is set to true, the parent range is deleted instead of 342 /// If `overwrite_parent` is non-optional, the highlighting of the parent range
343 /// intersected. 343 /// is overwritten with the argument.
344 /// 344 ///
345 /// Note that `pop` can be simulated by `pop_and_inject(false)` but the 345 /// Note that `pop` can be simulated by `pop_and_inject(false)` but the
346 /// latter is computationally more expensive. 346 /// latter is computationally more expensive.