Template:Button: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m Template for typesetting a button click (in the tutorial or manual) |
imported>Laurent Replaced "div" by "span" |
||
| (20 intermediate revisions by one other user not shown) | |||
| Line 3: | Line 3: | ||
== Usage == | == Usage == | ||
<nowiki>{{button|label}}</nowiki> | <nowiki>{{button|label}}</nowiki> | ||
== Example == | == Example == | ||
Click {{button|ah}} | Click {{button|ah}} with your hypotheses in the selection zone and then, click {{button|pp}}. | ||
[[Category:Typesetting | [[Category:Typesetting templates]] | ||
</noinclude> | == Template == | ||
</noinclude><!-- | |||
--><span class="typeset-button">{{{1}}}</span> | |||
Latest revision as of 10:10, 22 November 2010
Template use to specify a button click:
Usage
{{button|label}}
Example
Click with your hypotheses in the selection zone and then, click .
Template
