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

(filter-tool-use-last-settings no)
2018-04-17 12:56:39 +02:00
parent 93f41b344c
commit 93313cd93c
2 changed files with 11 additions and 0 deletions
--- 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)