Update comment for pop_and_inject

Co-authored-by: Leander Tentrup <ltentrup@users.noreply.github.com>
This commit is contained in:
Paul Daniel Faria 2020-06-23 12:15:45 -04:00 committed by GitHub
parent 2a56323537
commit 1e9095ae8c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -339,8 +339,8 @@ impl HighlightedRangeStack {
/// can only modify the last range currently on the stack.
/// Can be used to do injections that span multiple ranges, like the
/// doctest injection below.
/// If `inject` is set to true, the parent range is deleted instead of
/// intersected.
/// If `overwrite_parent` is non-optional, the highlighting of the parent range
/// is overwritten with the argument.
///
/// Note that `pop` can be simulated by `pop_and_inject(false)` but the
/// latter is computationally more expensive.