diff options
| author | Jorge Arellano Cid <jcid@dillo.org> | 2009-04-18 16:16:18 -0400 |
|---|---|---|
| committer | Jorge Arellano Cid <jcid@dillo.org> | 2009-04-18 16:16:18 -0400 |
| commit | 777f1f5ea25d5ebaeb494f567e678e78c8066368 (patch) | |
| tree | 529080162cd374d18f214934bef3a1798f645695 /src/uicmd.cc | |
| parent | d0225361f2bbce9c0fefc2174fbe8d4878a2789d (diff) | |
Implemented Instant client-side redirects (META refresh with delay=0)
http://www.w3.org/TR/2008/NOTE-WCAG20-TECHS-20081211/H76.html
Diffstat (limited to 'src/uicmd.cc')
| -rw-r--r-- | src/uicmd.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/uicmd.cc b/src/uicmd.cc index de52b779..ac743f62 100644 --- a/src/uicmd.cc +++ b/src/uicmd.cc @@ -671,6 +671,14 @@ void a_UIcmd_repush(void *vbw) } /* + * Zero-delay URL redirection. + */ +void a_UIcmd_redirection0(void *vbw, const DilloUrl *url) +{ + a_Nav_redirection0((BrowserWindow*)vbw, url); +} + +/* * Return a suitable filename for a given URL path. */ static char *UIcmd_make_save_filename(const char *pathstr) |