From fdec7a2cdb27e286eb55c146dcfcd39750ae633f Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Mon, 29 Sep 2025 19:36:36 +0200 Subject: [PATCH] Delegation: display the nameservers in RO buttons. --- src/App/Page/Zone.purs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/App/Page/Zone.purs b/src/App/Page/Zone.purs index ea11704..d0d6050 100644 --- a/src/App/Page/Zone.purs +++ b/src/App/Page/Zone.purs @@ -267,7 +267,12 @@ render state -- render_zone_records :: Maybe Delegation -> HH.HTML i Action render_zone_records (Just delegation) = - [ Web.p $ "This domain has been delegated to " <> delegation.nameserver1 <> " and " <> delegation.nameserver2 ] + [ Web.p "This domain has been delegated to the following nameservers:" + , Web.ul [ HH.li_ [ Web.btn_ro [C.is_warning] delegation.nameserver1 ] + , HH.li_ [ Web.btn_ro [C.is_warning] delegation.nameserver2 ] + ] + , Web.p "For now the nameservers cannot be updated (but you can delete the domain and start again)." + ] render_zone_records _ = [ Table.resource_records (sorted state._resources) CreateUpdateRRModal DeleteRRModal NewToken , Web.hr