2015-08-09 11:10:04 +01:00
|
|
|
title: $:/core/ui/Buttons/fold
|
|
|
|
tags: $:/tags/ViewToolbar
|
|
|
|
caption: {{$:/core/images/fold-button}} {{$:/language/Buttons/Fold/Caption}}
|
|
|
|
description: {{$:/language/Buttons/Fold/Hint}}
|
|
|
|
|
2017-07-12 16:47:52 +01:00
|
|
|
\whitespace trim
|
2018-12-04 10:12:32 +01:00
|
|
|
<$reveal type="nomatch" stateTitle=<<folded-state>> text="hide" default="show">
|
2017-07-12 16:47:52 +01:00
|
|
|
<$button tooltip={{$:/language/Buttons/Fold/Hint}} aria-label={{$:/language/Buttons/Fold/Caption}} class=<<tv-config-toolbar-class>>>
|
2015-08-09 11:10:04 +01:00
|
|
|
<$action-sendmessage $message="tm-fold-tiddler" $param=<<currentTiddler>> foldedState=<<folded-state>>/>
|
2024-09-06 01:40:18 +08:00
|
|
|
<%if [<tv-config-toolbar-icons>match[yes]] %>
|
2015-08-09 11:10:04 +01:00
|
|
|
{{$:/core/images/fold-button}}
|
2024-09-06 01:40:18 +08:00
|
|
|
<%endif%>
|
|
|
|
<%if [<tv-config-toolbar-text>match[yes]] %>
|
2015-08-09 16:40:58 +01:00
|
|
|
<span class="tc-btn-text">
|
|
|
|
<$text text={{$:/language/Buttons/Fold/Caption}}/>
|
|
|
|
</span>
|
2024-09-06 01:40:18 +08:00
|
|
|
<%endif%>
|
2017-07-12 16:47:52 +01:00
|
|
|
</$button>
|
|
|
|
</$reveal>
|
2018-12-04 10:12:32 +01:00
|
|
|
<$reveal type="match" stateTitle=<<folded-state>> text="hide" default="show">
|
2017-07-12 16:47:52 +01:00
|
|
|
<$button tooltip={{$:/language/Buttons/Unfold/Hint}} aria-label={{$:/language/Buttons/Unfold/Caption}} class=<<tv-config-toolbar-class>>>
|
2015-08-09 16:40:58 +01:00
|
|
|
<$action-sendmessage $message="tm-fold-tiddler" $param=<<currentTiddler>> foldedState=<<folded-state>>/>
|
2024-09-06 01:40:18 +08:00
|
|
|
<%if [<tv-config-toolbar-icons>match[yes]] %>
|
2015-08-09 11:10:04 +01:00
|
|
|
{{$:/core/images/unfold-button}}
|
2024-09-06 01:40:18 +08:00
|
|
|
<%endif%>
|
|
|
|
<%if [<tv-config-toolbar-text>match[yes]] %>
|
2015-08-09 16:40:58 +01:00
|
|
|
<span class="tc-btn-text">
|
|
|
|
<$text text={{$:/language/Buttons/Unfold/Caption}}/>
|
|
|
|
</span>
|
2024-09-06 01:40:18 +08:00
|
|
|
<%endif%>
|
2017-07-12 16:47:52 +01:00
|
|
|
</$button>
|
2018-12-04 10:12:32 +01:00
|
|
|
</$reveal>
|