Difference between pages "File:PoFilters.JPG" and "Template:Button"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Maria |
imported>Mathieu m (safari rendering) |
||
| Line 1: | Line 1: | ||
| − | + | <noinclude> | |
| + | Template use to specify a button click: | ||
| + | == Usage == | ||
| + | <nowiki>{{button|label}}</nowiki> | ||
| + | == Example == | ||
| + | Click {{button|ah}} with your hypotheses in the selection zone and then, click {{button|pp}}. | ||
| + | [[Category:Typesetting templates]] | ||
| + | == Template == | ||
| + | </noinclude><!-- | ||
| + | --><div class="typeset-button" style="display:inline;"><table style="border:1px solid #aaaaaa; display:inline-table; vertical-align:sub;" ><tr><td style="vertical-align:sub;">{{{1}}}</td></tr></table></div> | ||
Revision as of 09:43, 13 November 2008
Template use to specify a button click:
Usage
{{button|label}}
Example
Click
with your hypotheses in the selection zone and then, click
.
Template
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 20:50, 30 April 2020 |  | 227 × 124 (7 KB) | Maintenance script (talk | contribs) |
- You cannot overwrite this file.
File usage
The following page links to this file:
