From 7fbe29fd047c14f0b5f60404ce3af9955d7d780a Mon Sep 17 00:00:00 2001 From: nameanyone Date: Mon, 28 Dec 2015 22:28:48 -0800 Subject: [PATCH] Remove spaces around the fold button ...by removing newlines betwen widgets. Makes source harder to read but eliminates space characters from the end result. --- core/ui/ViewToolbar/fold.tid | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/core/ui/ViewToolbar/fold.tid b/core/ui/ViewToolbar/fold.tid index aa6e384fd..b0b686e12 100644 --- a/core/ui/ViewToolbar/fold.tid +++ b/core/ui/ViewToolbar/fold.tid @@ -3,8 +3,7 @@ tags: $:/tags/ViewToolbar caption: {{$:/core/images/fold-button}} {{$:/language/Buttons/Fold/Caption}} description: {{$:/language/Buttons/Fold/Hint}} -<$reveal type="nomatch" state=<> text="hide" default="show"> -<$button tooltip={{$:/language/Buttons/Fold/Hint}} aria-label={{$:/language/Buttons/Fold/Caption}} class=<>> +<$reveal type="nomatch" state=<> text="hide" default="show"><$button tooltip={{$:/language/Buttons/Fold/Hint}} aria-label={{$:/language/Buttons/Fold/Caption}} class=<>> <$action-sendmessage $message="tm-fold-tiddler" $param=<> foldedState=<>/> <$list filter="[prefix[yes]]" variable="listItem"> {{$:/core/images/fold-button}} @@ -15,10 +14,7 @@ description: {{$:/language/Buttons/Fold/Hint}} - - -<$reveal type="match" state=<> text="hide" default="show"> -<$button tooltip={{$:/language/Buttons/Unfold/Hint}} aria-label={{$:/language/Buttons/Unfold/Caption}} class=<>> +<$reveal type="match" state=<> text="hide" default="show"><$button tooltip={{$:/language/Buttons/Unfold/Hint}} aria-label={{$:/language/Buttons/Unfold/Caption}} class=<>> <$action-sendmessage $message="tm-fold-tiddler" $param=<> foldedState=<>/> <$list filter="[prefix[yes]]" variable="listItem"> {{$:/core/images/unfold-button}}