YGGverse/Yoda
1
0
Fork 0
mirror of https://github.com/YGGverse/Yoda.git synced 2025-02-06 00:14:13 +00:00
Code Issues Projects Releases Wiki Activity

add new history record on request changed only

Browse Source
This commit is contained in:
yggverse 2024-10-01 03:10:48 +03:00
parent d3d6e859f0
commit b00e5befde
3 changed files with 23 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/browser/main/tab/page.rs
View File

@ -95,7 +95,15 @@ impl Page {
&request, true, // activate (page reload)
);
navigation.history_add(request);
// Add new history record on request change
match navigation.history_current() {
Some(current) => {
if current != request {
navigation.history_add(request);
}
}
None => navigation.history_add(request),
}
}
});

4
src/browser/main/tab/page/navigation.rs
View File

@ -93,6 +93,10 @@ impl Navigation {
self.history.back(follow_to_index)
}
pub fn history_current(&self) -> Option<GString> {
self.history.current()
}
pub fn history_forward(&self, follow_to_index: bool) -> Option<GString> {
self.history.forward(follow_to_index)
}

10
src/browser/main/tab/page/navigation/history.rs
View File

@ -92,6 +92,16 @@ impl History {
None
}
pub fn current(&self) -> Option<GString> {
let index = self.index.borrow().clone(); // keep outside as borrow
if let Some(usize) = index {
if let Some(memory) = self.memory.borrow().get(usize) {
return Some(memory.request.clone());
}
}
None
}
pub fn forward(&self, follow_to_index: bool) -> Option<GString> {
let index = self.index.borrow().clone(); // keep outside as borrow
if let Some(usize) = index {