Difference between pages "Template:Icon" and "File:Tuto-0015.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m (safari rendering)
 
(Maintenance script uploaded File:Tuto-0015.png)
 
Line 1: Line 1:
<noinclude>
+
Our self-made Quick perspective.
Template use to specify an icon:
+
From the rodin platform tutorial.
== Usage ==
 
<nowiki>{{icon|iconname}}</nowiki>
 
or
 
<nowiki>{{icon|iconname|alternative text}}</nowiki>
 
== Example ==
 
Click {{icon|newprj_wiz}} and the create a component.
 
You can also find {{icon|newprj_wiz|Create new project}} in the project explorer.
 
[[Category:Typesetting templates]]
 
== Template ==
 
</noinclude><!--
 
--><div class="typeset-icon" style="display:inline;"><table style="border:1px solid #aaaaaa;  display:inline-table;vertical-align:middle; " ><tr><td style="vertical-align:middle;height:24px;">[[Image:{{{1}}}.gif|16x16px|{{{2| }}}]]</td></tr></table></div>
 

Latest revision as of 20:49, 30 April 2020

Our self-made Quick perspective. From the rodin platform tutorial.