[Gimp-user] How do I save and then restore tool options.

[Leonard Evens <len math northwestern edu>]

I am having trouble recovering the tool options I set.  This could be
the result of the fact that I've been exporting images, and, when I do,
gimp crashes.    So it could be that although I try to save the options,
they are not actually saved because of the crash.
-- 
Leonard Evens len math northwestern edu
Professor Emeritus, Department of Mathematics, Northwestern University