From 61f394cf7411174929a5db057bb98a34b3f81103 Mon Sep 17 00:00:00 2001 From: Release-Candidate Date: Fri, 18 Feb 2022 17:01:39 +0100 Subject: [PATCH] Always trim strings in a Note --- src/Data/Note.purs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Data/Note.purs b/src/Data/Note.purs index 021c063..0949ee9 100644 --- a/src/Data/Note.purs +++ b/src/Data/Note.purs @@ -175,11 +175,11 @@ fromShared (Just title) Nothing (Just text) = fromShared title url text = Note - { title: title + { title: map trim title , url: url , keywords: Nothing , location: Nothing - , shortDesc: text + , shortDesc: map trim text , longDesc: Nothing }