From 8c1b0b8b76f86032105f4a9434669cc96ff8b225 Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Tue, 11 Jul 2023 04:46:24 +0200 Subject: [PATCH] Minor fix for the zone update. --- src/App/ZoneInterface.purs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/App/ZoneInterface.purs b/src/App/ZoneInterface.purs index 2a8eb66..6e94df6 100644 --- a/src/App/ZoneInterface.purs +++ b/src/App/ZoneInterface.purs @@ -180,7 +180,7 @@ render state ] where sorted = Foldable.foldl (<>) [] - $ map (A.sortBy (comparing (_.domain))) + $ map (A.sortBy (comparing (_.id))) $ map NonEmpty.toArray $ A.groupAllBy (comparing (_.t)) state._srr