Continuing the rephrasing

[ardour-manual] / include / plugin-manager.html

diff --git a/include/plugin-manager.html b/include/plugin-manager.html
index b47b0ec5b2dba407b9f3f62db88faf677150971e..c6a98af8d8788e252977adbf5a7981956e872d8a 100644 (file)
--- a/include/plugin-manager.html
+++ b/include/plugin-manager.html
@@ -39,7 +39,7 @@
 <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
 <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>
 
   empties the text-box.
 </p>
 


@@ -49,11 +49,10 @@
   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
   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
 <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>
 </p>

-