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.

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;
+}