mirror of
https://github.com/servo/servo.git
synced 2025-08-07 22:45:34 +01:00
Make reload button clear the network cache.
This commit is contained in:
parent
fe24fc3068
commit
f030162ec3
10 changed files with 50 additions and 1 deletions
|
@ -67,7 +67,10 @@ public:
|
|||
void KeyDown(const char *k) { key_down(k); }
|
||||
void KeyUp(const char *k) { key_up(k); }
|
||||
|
||||
void Reload() { reload(); }
|
||||
void Reload() {
|
||||
clear_cache();
|
||||
reload();
|
||||
}
|
||||
void Stop() { stop(); }
|
||||
bool LoadUri(hstring uri) { return load_uri(*hstring2char(uri)); }
|
||||
void ChangeVisibility(bool visible) { change_visibility(visible); }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue