summaryrefslogtreecommitdiff
path: root/src/scm/webid-oidc/client/gui
diff options
context:
space:
mode:
authorVivien Kraus <vivien@planete-kraus.eu>2021-10-05 22:26:27 +0200
committerVivien Kraus <vivien@planete-kraus.eu>2021-10-07 12:34:19 +0200
commit4f2cb622a522691fd13412af9ea4aac0fb36076e (patch)
treeaa75954359b2db004acde660d42ddea443d235f2 /src/scm/webid-oidc/client/gui
parent9b426ab18fc88705b379315de86351d60d0bde0a (diff)
gui: let the account widget shrink
Diffstat (limited to 'src/scm/webid-oidc/client/gui')
-rw-r--r--src/scm/webid-oidc/client/gui/account-widget.scm14
1 files changed, 10 insertions, 4 deletions
diff --git a/src/scm/webid-oidc/client/gui/account-widget.scm b/src/scm/webid-oidc/client/gui/account-widget.scm
index 4449049..cef6a9d 100644
--- a/src/scm/webid-oidc/client/gui/account-widget.scm
+++ b/src/scm/webid-oidc/client/gui/account-widget.scm
@@ -62,18 +62,24 @@
(string-append config:uidir "/account-widget.glade"))))
(let ((whole-widget
(builder:get-object builder "account_widget"))
- (webid
+ (webid-link
(builder:get-object builder "webid"))
+ (webid-label
+ (builder:get-object builder "webid_label"))
(issuer-link
(builder:get-object builder "issuer"))
+ (issuer-label
+ (builder:get-object builder "issuer_label"))
(discard-button
(builder:get-object builder "discard_button"))
(use-button
(builder:get-object builder "use_button")))
- (link-button:set-uri webid (uri->string (subject account)))
+ (link-button:set-uri webid-link (uri->string (subject account)))
(link-button:set-uri issuer-link (uri->string (issuer account)))
- (button:set-label webid (uri->string (subject account)))
- (button:set-label issuer-link (uri->string (issuer account)))
+ (label:set-text webid-label (uri->string (subject account)))
+ (label:set-text issuer-label (uri->string (issuer account)))
+ (widget:set-tooltip-text webid-link (uri->string (subject account)))
+ (widget:set-tooltip-text issuer-link (uri->string (issuer account)))
(unless can-use?
(widget:set-sensitive use-button #f))
(connect discard-button clicked