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>Mathieu
mNo edit summary
Line 6: Line 6:
<nowiki>{{button|[[Image:button_image.png]]}}</nowiki>
<nowiki>{{button|[[Image:button_image.png]]}}</nowiki>
== Example ==
== Example ==
Click {{button|ah}} whit your hypothses in the selection zone and the, click {{{pp}}}.
Click {{button|ah}} with your hypotheses in the selection zone and the, click {{{pp}}}.
[[Category:Typesetting template]]
[[Category:Typesetting template]]
</noinclude>
</noinclude><!--
<table style="border:1px solid #aaaaaa; display:inline;"><tr><td style="vertical-align:sub;">{{{1}}}</td></tr><table>
--><table style="border:1px solid #aaaaaa; display:inline;"><tr><td style="vertical-align:sub;">{{{1}}}</td></tr><table>

Revision as of 10:54, 7 July 2008

Template use to specify a button click:

Usage

{{button|label}} or {{button|[[Image:button_image.png]]}}

Example

Click

ah
with your hypotheses in the selection zone and the, click {{{pp}}}.
{{{1}}}