diff options
author | Vincent Sanders <vince@kyllikki.org> | 2019-10-30 18:56:38 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2019-10-30 18:56:38 +0000 |
commit | 4b0c3f0efef2239dd5d62a9e73eeec4037c056a4 (patch) | |
tree | 4ff85d6b40242d6a29f49422edd7f1be26daa62c /resources | |
parent | 76eac192272acf77763d0c619cd78118650748cf (diff) | |
download | netsurf-4b0c3f0efef2239dd5d62a9e73eeec4037c056a4.tar.gz netsurf-4b0c3f0efef2239dd5d62a9e73eeec4037c056a4.tar.bz2 |
add internal query handler for fetch errors
Any errors from the fetch which are not already handled are
reported with an internal query page instead of a modal
dialog.
This is much less invasive for the user and much more in
keeping with how this is handled by other browsers.
The handler is similar to the timeout handler but the
functionality is kept separate as it is intended timeout
handling be extended in future.
Diffstat (limited to 'resources')
-rw-r--r-- | resources/FatMessages | 7 | ||||
-rw-r--r-- | resources/internal.css | 38 |
2 files changed, 45 insertions, 0 deletions
diff --git a/resources/FatMessages b/resources/FatMessages index aa2d7a2d1..06d61c942 100644 --- a/resources/FatMessages +++ b/resources/FatMessages @@ -1096,6 +1096,13 @@ en.all.Backtoprevious: Back en.all.TryAgain: Try Again +# Fetch error interface +# ======================= +# +en.all.FetchErrorTitle:Error occured fetching page +en.all.FetchErrorDescription:An error occoured when connecting to %s + + # SSL certificate viewer # ====================== # diff --git a/resources/internal.css b/resources/internal.css index 14b47cfa9..ded56ee0b 100644 --- a/resources/internal.css +++ b/resources/internal.css @@ -381,3 +381,41 @@ body#timeout div#buttons { body#timeout div#buttons input#back { margin-right: 1em; } + +/* + * fetch error query styling + */ + +body#fetcherror { + max-width: 45em; +} + +body#fetcherror h1 { + padding: 0.8em 0.4em 0.5em 0.4em; + border-bottom: 0.1em solid #444; + margin: 0 0 1.3em 0; + background: #c55; + color: white; +} + +body#fetcherror form { + /* Just to center the form on the page */ + margin: 0 auto; + /* To see the outline of the form */ + padding: 1em; + border: 1px solid #CCC; + border-radius: 1em; +} + +body#fetcherror form div + div { + margin-top: 1em; +} + +body#fetcherror div#buttons { + text-align: right; + margin-right: 1em; +} + +body#fetcherror div#buttons input#back { + margin-right: 1em; +} |