From: Shamus Hammons Date: Thu, 2 Feb 2017 15:21:45 +0000 (-0600) Subject: Fix a minor language nit in the 'broken link' reportage. X-Git-Url: http://shamusworld.gotdns.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=80a90ff7af37a73cc472a424e6834523ae7c9163;p=ardour-manual-diverged Fix a minor language nit in the 'broken link' reportage. --- diff --git a/build.py b/build.py index 1d9b89e..e27efce 100755 --- a/build.py +++ b/build.py @@ -213,7 +213,7 @@ def FixInternalLinks(links, content, title): match = re.findall('"@@.*"', result) if len(match) > 0: - print('\nMissing link target(s) in "' + title + '":') + print('\nMissing link target' + ('s' if len(match) > 1 else '') + ' in "' + title + '":') for s in match: print(' ' + s[3:-1]) diff --git a/include/favorite-plugins-window.html b/include/favorite-plugins-window.html index 58a580d..6e83d38 100644 --- a/include/favorite-plugins-window.html +++ b/include/favorite-plugins-window.html @@ -8,7 +8,7 @@ ow">

The Favorite Plugins window is on the top-left side of the Mixer Window. Like other elements in that window it has variable height and can be hidden by dragging it to zero-height. If it is not visible, the top-handle can be grabbed and dragged down to reveal it.

-non-working link +

Plugin names that have a right facing triangle next to them have presets associated with them; clicking on the triangle will cause all presets associated with the plugin to show in the list.

@@ -19,7 +19,7 @@ ow">

The Favorite Plugins window provides easy access to frequently used plugins:

-non-working link + -non-working link +

When favorites are added with the Plugin Manager, they are appended to the bottom of the list.