[gimp] docs, etc: system gimprc and manpage regenerated with new setting

[Michael Natterer <mitch src gnome org>]

commit 93313cd93c537b64edd036947bf0eb11ccd585a4
Author: Michael Natterer <mitch gimp org>
Date:   Tue Apr 17 12:56:39 2018 +0200

    docs, etc: system gimprc and manpage regenerated with new setting
    
    (filter-tool-use-last-settings no)

 docs/gimprc.5.in |    6 ++++++
 etc/gimprc.in    |    5 +++++
 2 files changed, 11 insertions(+), 0 deletions(-)
---
diff --git a/docs/gimprc.5.in b/docs/gimprc.5.in
index 197f20c..7d8b051 100644
--- a/docs/gimprc.5.in
+++ b/docs/gimprc.5.in
@@ -776,6 +776,12 @@ How many recent settings to keep around in filter tools.  This is an integer
 value.
 
 .TP
+(filter-tool-use-last-settings no)
+
+Default to the last used settings in filter tools.  Possible values are yes
+and no.
+
+.TP
 (filter-tool-show-color-options no)
 
 Show advanced color options in filter tools.  Possible values are yes and no.
diff --git a/etc/gimprc.in b/etc/gimprc.in
index c464d40..8d6bd8d 100644
--- a/etc/gimprc.in
+++ b/etc/gimprc.in
@@ -603,6 +603,11 @@
 # 
 # (filter-tool-max-recent 10)
 
+# Default to the last used settings in filter tools.  Possible values are yes
+# and no.
+# 
+# (filter-tool-use-last-settings no)
+
 # Show advanced color options in filter tools.  Possible values are yes and
 # no.
 #