From 93313cd93c537b64edd036947bf0eb11ccd585a4 Mon Sep 17 00:00:00 2001
From: Michael Natterer <mitch@gimp.org>
Date: Tue, 17 Apr 2018 12:56:39 +0200
Subject: [PATCH] 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(+)

diff --git a/docs/gimprc.5.in b/docs/gimprc.5.in
index 197f20c148..7d8b051092 100644
--- a/docs/gimprc.5.in
+++ b/docs/gimprc.5.in
@@ -775,6 +775,12 @@ no.
 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)
 
diff --git a/etc/gimprc.in b/etc/gimprc.in
index c464d4052f..8d6bd8db5d 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.
 #