diff options
author | Paul Daniel Faria <[email protected]> | 2020-06-23 17:15:45 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-23 17:15:45 +0100 |
commit | 1e9095ae8c98813ba2e89318f35f0ec15cc833b3 (patch) | |
tree | f66da969f56bde62cefc24b63034727434aca03e /crates/ra_ide/src | |
parent | 2a56323537442958008d0fddd78e33df425b11a9 (diff) |
Update comment for pop_and_inject
Co-authored-by: Leander Tentrup <[email protected]>
Diffstat (limited to 'crates/ra_ide/src')
-rw-r--r-- | crates/ra_ide/src/syntax_highlighting.rs | 4 |
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. |