When Pushed/en: Difference between revisions
(Updating to match new version of source page) |
(Updating to match new version of source page) |
||
| Line 2: | Line 2: | ||
[[Category:Interface]] | [[Category:Interface]] | ||
<section begin="image"/>[[File:When Pushed Block.png|alt=The when pushed block|thumb]]<section end="image"/> | <section begin="image"/>[[File:When Pushed Block.png|alt=The when pushed block|thumb]]<section end="image"/><p id="tooltip">Executes commands inside this block (once, from top to bottom) when the push button widget is pushed. Widgets can be created using the Edit Widgets feature.</p> | ||
<section begin="name" />{{Block|when [▼] pushed}}<section end="name" /> is a code block from the [[Interface]] drawer. | <section begin="name" />{{Block|when [▼] pushed}}<section end="name" /> is a code block from the [[Interface]] drawer. | ||
==Usage== | ==Usage== | ||
{{Block|when [▼] pushed}} begins a single execution of a [[stack]] of code (from top to bottom) when the pushed button [[widget]] is pushed. Widgets can be created using the [[Edit Widgets]] feature. | |||
==Syntax== | ==Syntax== | ||
<section begin=image/>[[File:When Pushed Nums.png|right|alt=When pushed Block|thumb]]<section end=image/> | <section begin=image/>[[File:When Pushed Nums.png|right|alt=When pushed Block|thumb]]<section end=image/> | ||
<!-- <code>when [Dropdown: Type of Widget] pushed</code> --> | <!-- <code>when [Dropdown: Type of Widget] pushed</code> --> | ||
Input: | |||
#Select the desired push-button widget from the drop down menu. | |||
==Nuances== | ==Nuances== | ||
Revision as of 15:17, 8 August 2023
Executes commands inside this block (once, from top to bottom) when the push button widget is pushed. Widgets can be created using the Edit Widgets feature.
when [▼] pushed is a code block from the Interface drawer.
Usage
when [▼] pushed begins a single execution of a stack of code (from top to bottom) when the pushed button widget is pushed. Widgets can be created using the Edit Widgets feature.
Syntax
Input:
- Select the desired push-button widget from the drop down menu.