diff options
| author | Marco Peereboom <marco@conformal.com> | 2011-01-04 03:09:32 +0000 |
|---|---|---|
| committer | Marco Peereboom <marco@conformal.com> | 2011-01-04 03:09:32 +0000 |
| commit | 6bb68cb47f3cff10766a225b55e2d83049539aaa (patch) | |
| tree | d2a270d78861934a007ad5482bee47d7795b2073 | |
| parent | 041206a1ce4377df6c268c3f5a69e36b257e78bd (diff) | |
| download | xombrero-6bb68cb47f3cff10766a225b55e2d83049539aaa.tar.gz | |
stop webkit when deleting a tab. silences some gtk warnings.
| -rw-r--r-- | xxxterm.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/xxxterm.c b/xxxterm.c index 35da3a5..ff36cae 100644 --- a/xxxterm.c +++ b/xxxterm.c @@ -4576,6 +4576,9 @@ delete_tab(struct tab *t) if (t == NULL) return; + /* halt all webkit activity */ + webkit_web_view_stop_loading(t->wv); + /* Save URI of tab; so we can undo close tab. */ frame = webkit_web_view_get_main_frame(t->wv); uri = webkit_web_frame_get_uri(frame); |