From c4735e9efc1319071b9b99ff90e3cc3323b8fa45 Mon Sep 17 00:00:00 2001 From: Philippe PITTOLI Date: Fri, 12 Apr 2024 12:49:24 +0200 Subject: [PATCH] Change the name of a button (ask for token) in the update modal for A and AAAA. --- src/App/Page/Zone.purs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/App/Page/Zone.purs b/src/App/Page/Zone.purs index 2d3f7f8..284114d 100644 --- a/src/App/Page/Zone.purs +++ b/src/App/Page/Zone.purs @@ -495,7 +495,7 @@ render state ] display_domain_side = (if state._currentRR.name == (state._domain <> ".") then "" else "." <> state._domain) - newtokenbtn = Bulma.btn "🏁​ Ask for a token!" (NewToken state._currentRR.rrid) + newtokenbtn = Bulma.btn (maybe "🏁​ Ask for a token" (\_ -> "🏁​ Ask for a new token") state._currentRR.token) (NewToken state._currentRR.rrid) foot_content x = case state.rr_modal of NewRRModal _ -> [Bulma.btn_add (ValidateRR x)]