mirror of
https://github.com/YGGverse/Yoda.git
synced 2026-04-02 01:25:27 +00:00
move strip_prefix getter to request api
This commit is contained in:
parent
4e0797bd6e
commit
6f038539d6
3 changed files with 17 additions and 19 deletions
|
|
@ -72,7 +72,7 @@ impl Navigation {
|
|||
self.bookmark
|
||||
.update(self.profile.bookmark.get(&request_text).is_ok());
|
||||
self.history.update();
|
||||
self.home.update(&request_text);
|
||||
self.home.update(&self.request.strip_prefix());
|
||||
self.reload.update(!request_text.is_empty());
|
||||
self.request.update(
|
||||
progress_fraction,
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue