client: display the error page widget

3 files changed, 85 insertions, 2 deletions

diff --git a/src/scm/webid-oidc/client/gui/Makefile.am b/src/scm/webid-oidc/client/gui/Makefile.am
index 26e7619..cb113cd 100644
--- a/src/scm/webid-oidc/client/gui/Makefile.am
+++ b/src/scm/webid-oidc/client/gui/Makefile.am
@@ -26,7 +26,8 @@ dist_guiclientwebidoidcmod_DATA += \
   %reldir%/clock.scm \
   %reldir%/authorizations-widget.scm \
   %reldir%/new-page.scm \
-  %reldir%/loading-page.scm
+  %reldir%/loading-page.scm \
+  %reldir%/error-page.scm
 
 guiclientwebidoidcgo_DATA += \
   %reldir%/settings.go \
@@ -40,4 +41,5 @@ guiclientwebidoidcgo_DATA += \
   %reldir%/authorizations-widget.go \
   %reldir%/clock.go \
   %reldir%/new-page.go \
-  %reldir%/loading-page.go
+  %reldir%/loading-page.go \
+  %reldir%/error-page.go
diff --git a/src/scm/webid-oidc/client/gui/application.scm b/src/scm/webid-oidc/client/gui/application.scm
index 476ec01..df7f080 100644
--- a/src/scm/webid-oidc/client/gui/application.scm
+++ b/src/scm/webid-oidc/client/gui/application.scm
@@ -41,6 +41,7 @@
   #:use-module ((webid-oidc client gui authorizations-widget) #:prefix authorizations:)
   #:use-module ((webid-oidc client gui new-page) #:prefix page:)
   #:use-module ((webid-oidc client gui loading-page) #:prefix page:)
+  #:use-module ((webid-oidc client gui error-page) #:prefix page:)
   #:use-module (webid-oidc client gui application-hooks)
   #:use-module (webid-oidc client application)
   #:use-module (web uri)
diff --git a/src/scm/webid-oidc/client/gui/error-page.scm b/src/scm/webid-oidc/client/gui/error-page.scm
new file mode 100644
index 0000000..6d20263
--- /dev/null
+++ b/src/scm/webid-oidc/client/gui/error-page.scm
@@ -0,0 +1,80 @@
+;; disfluid, implementation of the Solid specification
+;; Copyright (C) 2021  Vivien Kraus
+
+;; This program is free software: you can redistribute it and/or modify
+;; it under the terms of the GNU Affero General Public License as
+;; published by the Free Software Foundation, either version 3 of the
+;; License, or (at your option) any later version.
+
+;; This program is distributed in the hope that it will be useful,
+;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+;; GNU Affero General Public License for more details.
+
+;; You should have received a copy of the GNU Affero General Public License
+;; along with this program.  If not, see <https://www.gnu.org/licenses/>.
+
+(define-module (webid-oidc client gui error-page)
+  #:use-module (gi)
+  #:use-module (gi types)
+  #:use-module (gi util)
+  #:use-module (ice-9 match)
+  #:use-module (ice-9 exceptions)
+  #:use-module (ice-9 i18n)
+  #:use-module (ice-9 receive)
+  #:use-module (ice-9 optargs)
+  #:use-module (ice-9 pretty-print)
+  #:use-module (ice-9 atomic)
+  #:use-module (srfi srfi-9)
+  #:use-module (srfi srfi-19)
+  #:use-module (srfi srfi-26)
+  #:use-module (webid-oidc errors)
+  #:use-module ((webid-oidc stubs) #:prefix stubs:)
+  #:use-module ((webid-oidc config) #:prefix config:)
+  #:use-module (webid-oidc web-i18n)
+  #:use-module (webid-oidc client client)
+  #:use-module (webid-oidc client accounts)
+  #:use-module ((webid-oidc client gui settings) #:prefix settings:)
+  #:use-module ((webid-oidc client gui clock) #:prefix clock:)
+  #:use-module (webid-oidc client gui application-hooks)
+  #:use-module (webid-oidc client application)
+  #:use-module (webid-oidc jwk)
+  #:use-module (webid-oidc oidc-id-token)
+  #:use-module (web uri)
+  #:use-module (web response)
+  #:use-module (rnrs bytevectors)
+  #:use-module (oop goops)
+  #:declarative? #t
+  #:duplicates (merge-generics)
+  #:export
+  (
+   ->widget
+   ))
+
+(push-duplicate-handler! 'merge-generics)
+
+;; This avoids a crash when compiling the module
+(use-typelibs ("GdkPixbuf" "2.0")
+              ("Gtk" "3.0"))
+
+(define-method (->widget (page <error-page>))
+  (let ((builder
+         (builder:new-from-file
+          (string-append config:uidir "/error-page.glade"))))
+    (let ((main-widget
+           (builder:get-object builder "error_page"))
+          (code-label
+           (builder:get-object builder "code"))
+          (reason-phrase-label
+           (builder:get-object builder "reason_phrase"))
+          (uri-entry
+           (builder:get-object builder "uri_entry")))
+      (label:set-text code-label (number->string (code page)))
+      (label:set-text reason-phrase-label (reason-phrase page))
+      (entry:set-text uri-entry (uri->string (uri page)))
+      (connect uri-entry activate
+               (lambda _
+                 (settings:application-state
+                  (set-page-uri (settings:application-state)
+                                (entry:get-text uri-entry)))))
+      (values builder main-widget))))