mirror of
https://github.com/YGGverse/Yoda.git
synced 2025-01-15 09:10:08 +00:00
remove extra references
This commit is contained in:
parent
d41667f229
commit
44c92831c0
@ -83,7 +83,7 @@ impl Navigation {
|
|||||||
let index = self.index.take();
|
let index = self.index.take();
|
||||||
match self.matches.borrow().get(back(index)) {
|
match self.matches.borrow().get(back(index)) {
|
||||||
Some((start, end)) => {
|
Some((start, end)) => {
|
||||||
self.text_buffer.apply_tag(&self.current_tag, &start, &end);
|
self.text_buffer.apply_tag(&self.current_tag, start, end);
|
||||||
self.index.replace(if index == 0 {
|
self.index.replace(if index == 0 {
|
||||||
len_to_index(self.matches.borrow().len())
|
len_to_index(self.matches.borrow().len())
|
||||||
} else {
|
} else {
|
||||||
@ -110,7 +110,7 @@ impl Navigation {
|
|||||||
let next = forward(index);
|
let next = forward(index);
|
||||||
match self.matches.borrow().get(next) {
|
match self.matches.borrow().get(next) {
|
||||||
Some((start, end)) => {
|
Some((start, end)) => {
|
||||||
self.text_buffer.apply_tag(&self.current_tag, &start, &end);
|
self.text_buffer.apply_tag(&self.current_tag, start, end);
|
||||||
self.index.replace(next);
|
self.index.replace(next);
|
||||||
Some((*start, *end))
|
Some((*start, *end))
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user