Difference between pages "Template:Button" and "Template:File"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m
 
imported>Mathieu
m (correction)
 
Line 1: Line 1:
 
<noinclude>
 
<noinclude>
Template use to specify a button click:
+
==Usage==
== Usage ==
+
Template use to specify a file name or file path:
<nowiki>{{button|label}}</nowiki>
+
dowload {{file|project.zip}} and put it in {{file|/home/user/workspace}}.
or
 
<nowiki>{{button|[[Image:button_image.png]]}}</nowiki>
 
== Example ==
 
Click {{button|ah}} with your hypotheses in the selection zone and the, click {{button|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>
+
<small><tt>{{{1}}}</tt></small>

Revision as of 09:57, 7 July 2008

Usage

Template use to specify a file name or file path: dowload project.zip and put it in /home/user/workspace.

{{{1}}}