<p>
The middle of the <dfn>Plugin Manager</dfn> is used to filter the listed
plugins. Typing into the text-box will filter the plugins based on the filter
- mode selected by drop-down box. Clicking <kbd class="button">Clear</kbd>
+ mode selected by drop-down box. Clicking <kbd class="menu">Clear</kbd>
empties the text-box.
</p>
The bottom half of the plugin manager shows plugins that have been selected
for insertion into the <dfn>Processor Box</dfn>. A plugin can be added by
either double clicking the plugin entry in the top half, or, if already
- selected in top half, by clicking <kbd class="button">Add</kbd>.
+ selected in top half, by clicking <kbd class="menu">Add</kbd>.
<p>
<p>
Plugins can be removed from the bottom half with a double click, or, if
- already selected, by clicking <kbd class="button">Remove</kbd>.
+ already selected, by clicking <kbd class="menu">Remove</kbd>.
</p>
-