Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

navigation bug fix

Browse source
This commit is contained in:
Tim Kuehn 2013-07-29 13:50:41 -07:00
parent b7e2eab2f4
commit 43491d5b23
4 changed files with 17 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/components/main/pipeline.rs
View file

@ -137,8 +137,9 @@ impl Pipeline {
}
}
pub fn load(&mut self, url: Url) {
pub fn load(&mut self, url: Url, navigation_type: Option<NavigationType>) {
self.url = Some(url.clone());
self.navigation_type = navigation_type;
self.script_chan.send(LoadMsg(self.id, url));
}
@ -155,9 +156,10 @@ impl Pipeline {
self.render_chan.send(PaintPermissionRevoked);
}
pub fn reload(&self) {
for self.url.iter().advance |url| {
self.script_chan.send(LoadMsg(self.id, url.clone()));
pub fn reload(&mut self, navigation_type: Option<NavigationType>) {
if self.url.is_some() {
let url = self.url.get_ref().clone();
self.load(url, navigation_type);
}
}