gui: add a primitive browser widget

1 files changed, 103 insertions, 28 deletions

diff --git a/po/disfluid.pot b/po/disfluid.pot
index c8e9654..274f6b3 100644
--- a/po/disfluid.pot
+++ b/po/disfluid.pot
@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: disfluid SNAPSHOT\n"
 "Report-Msgid-Bugs-To: vivien@planete-kraus.eu\n"
-"POT-Creation-Date: 2021-10-12 18:30+0200\n"
+"POT-Creation-Date: 2021-10-12 22:25+0200\n"
 "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
 "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
 "Language-Team: LANGUAGE <LL@li.org>\n"
@@ -345,7 +345,7 @@ msgid "The application you are trying to authorize behaved unexpectedly."
 msgstr ""
 
 #: src/scm/webid-oidc/authorization-page-unsafe.scm:126
-#: src/scm/webid-oidc/resource-server.scm:316
+#: src/scm/webid-oidc/resource-server.scm:317
 msgid "reason-phrase|Found"
 msgstr ""
 
@@ -491,7 +491,7 @@ msgstr ""
 msgid "#:grant-types should be a list of symbols"
 msgstr ""
 
-#: src/scm/webid-oidc/client.scm:283 src/scm/webid-oidc/resource-server.scm:176
+#: src/scm/webid-oidc/client.scm:283 src/scm/webid-oidc/resource-server.scm:177
 msgid "reason-phrase|Not Modified"
 msgstr ""
 
@@ -615,22 +615,37 @@ msgstr ""
 msgid "The issuer should be a string or URI."
 msgstr ""
 
-#: src/scm/webid-oidc/client/application.scm:242
+#: src/scm/webid-oidc/client/application.scm:259
 #, scheme-format
 msgid "Add an account on ~a"
 msgstr ""
 
-#: src/scm/webid-oidc/client/application.scm:257
+#: src/scm/webid-oidc/client/application.scm:274
 #, scheme-format
 msgid ""
 "You already have an account for ~a issued by ~a and it is currently selected."
 msgstr ""
 
-#: src/scm/webid-oidc/client/application.scm:276
+#: src/scm/webid-oidc/client/application.scm:293
 #, scheme-format
 msgid "You already have an account for ~a issued by ~a."
 msgstr ""
 
+#: src/scm/webid-oidc/client/application.scm:493
+#, scheme-format
+msgid "Loading ~a..."
+msgstr ""
+
+#: src/scm/webid-oidc/client/application.scm:572
+#, scheme-format
+msgid "Updating ~a (expected ETag ~a)"
+msgstr ""
+
+#: src/scm/webid-oidc/client/application.scm:619
+#, scheme-format
+msgid "Deleting ~a (expected ETag ~a)"
+msgstr ""
+
 #: src/scm/webid-oidc/client/client.scm:91
 msgid ""
 "Client ID and redirect URIs should be URIs, and key pair should be a key "
@@ -642,16 +657,16 @@ msgstr ""
 msgid "The application state changed: it is now ~a.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/client/gui/application.scm:116
-msgid "Coming soon!"
+#: src/scm/webid-oidc/client/gui/accounts-widget-logic.scm:66
+msgid "Stub: please enter an URI or a host name...\n"
 msgstr ""
 
 #: src/scm/webid-oidc/client/gui/accounts-widget.scm:87
 msgid "Please add an account."
 msgstr ""
 
-#: src/scm/webid-oidc/client/gui/accounts-widget-logic.scm:66
-msgid "Stub: please enter an URI or a host name...\n"
+#: src/scm/webid-oidc/client/gui/application.scm:116
+msgid "Coming soon!"
 msgstr ""
 
 #: src/scm/webid-oidc/client/gui/authorization-prompt.scm:75
@@ -1027,7 +1042,7 @@ msgid "The port should be a number between 0 and 65535.\n"
 msgstr ""
 
 #: src/scm/webid-oidc/hello-world.scm:159
-#: src/scm/webid-oidc/resource-server.scm:337
+#: src/scm/webid-oidc/resource-server.scm:338
 msgid "reason-phrase|Unauthorized"
 msgstr ""
 
@@ -1040,7 +1055,7 @@ msgid "<p>This page requires authentication with Solid.</p>"
 msgstr ""
 
 #: src/scm/webid-oidc/hello-world.scm:179
-#: src/scm/webid-oidc/resource-server.scm:345
+#: src/scm/webid-oidc/resource-server.scm:346
 msgid "reason-phrase|Method Not Allowed"
 msgstr ""
 
@@ -2079,64 +2094,64 @@ msgstr ""
 msgid "the refresh token is bound to key ~s, which is not that one"
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:58
+#: src/scm/webid-oidc/resource-server.scm:59
 msgid ""
 "You need to pass #:server-uri URI where URI is the public URI of the server, "
 "as a (web uri)."
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:85
+#: src/scm/webid-oidc/resource-server.scm:86
 #, scheme-format
 msgid "~a: authentication failure: ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:89
+#: src/scm/webid-oidc/resource-server.scm:90
 #, scheme-format
 msgid "~a: authentication failure\n"
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:161
-#: src/scm/webid-oidc/resource-server.scm:368
+#: src/scm/webid-oidc/resource-server.scm:162
+#: src/scm/webid-oidc/resource-server.scm:369
 msgid "reason-phrase|Precondition Failed"
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:198
+#: src/scm/webid-oidc/resource-server.scm:199
 msgid "The owner is not defined."
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:248
-#: src/scm/webid-oidc/resource-server.scm:271
+#: src/scm/webid-oidc/resource-server.scm:249
+#: src/scm/webid-oidc/resource-server.scm:272
 msgid "Bad Request"
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:282
+#: src/scm/webid-oidc/resource-server.scm:283
 msgid "reason-phrase|Created"
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:305
+#: src/scm/webid-oidc/resource-server.scm:306
 #, scheme-format
 msgid "~a: ignoring a group that cannot be fetched: ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:309
+#: src/scm/webid-oidc/resource-server.scm:310
 #, scheme-format
 msgid "~a: ignoring a group that cannot be fetched\n"
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:333
+#: src/scm/webid-oidc/resource-server.scm:334
 #: src/scm/webid-oidc/token-endpoint.scm:104
 msgid "reason-phrase|Forbidden"
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:354
+#: src/scm/webid-oidc/resource-server.scm:355
 msgid "reason-phrase|Conflict"
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:361
+#: src/scm/webid-oidc/resource-server.scm:362
 msgid "reason-phrase|Unsupported Media Type"
 msgstr ""
 
-#: src/scm/webid-oidc/resource-server.scm:375
+#: src/scm/webid-oidc/resource-server.scm:376
 msgid "reason-phrase|Not Acceptable"
 msgstr ""
 
@@ -2333,10 +2348,54 @@ msgstr ""
 msgid "Undo"
 msgstr ""
 
-#: src/ui/client-widget.glade:149
+#: src/ui/client-widget.glade:149 src/ui/updated-page.glade:102
 msgid "Update"
 msgstr ""
 
+#: src/ui/error-page.glade:45
+msgid "The request failed:"
+msgstr ""
+
+#: src/ui/error-page.glade:57
+msgid "404"
+msgstr ""
+
+#: src/ui/error-page.glade:73
+msgid "Not Found"
+msgstr ""
+
+#: src/ui/link-widget.glade:20
+msgid "https://example.com"
+msgstr ""
+
+#: src/ui/link-widget.glade:39
+msgid "rel"
+msgstr ""
+
+#: src/ui/link-widget.glade:51
+msgid "="
+msgstr ""
+
+#: src/ui/link-widget.glade:63
+msgid "type"
+msgstr ""
+
+#: src/ui/loaded-page.glade:40
+msgid "text/turtle"
+msgstr ""
+
+#: src/ui/loaded-page.glade:52
+msgid "@prefix rdf: ..."
+msgstr ""
+
+#: src/ui/loaded-page.glade:67
+msgid "Delete"
+msgstr ""
+
+#: src/ui/loaded-page.glade:80
+msgid "Update…"
+msgstr ""
+
 #: src/ui/main-window.glade:29
 msgid "Explore"
 msgstr ""
@@ -2352,3 +2411,19 @@ msgstr ""
 #: src/ui/main-window.glade:73
 msgid "Settings"
 msgstr ""
+
+#: src/ui/new-page.glade:27
+msgid "Enter an URI in the URI bar above to start your journey."
+msgstr ""
+
+#: src/ui/updated-page.glade:20
+msgid "Content type:"
+msgstr ""
+
+#: src/ui/updated-page.glade:55
+msgid "Content:"
+msgstr ""
+
+#: src/ui/updated-page.glade:89
+msgid "Discard edits"
+msgstr ""