-
Sven Neumann authored
2009-02-26 Sven Neumann <sven@gimp.org> * app/gui/gui.c (gui_restore_callback): connect to changes of the "user-manual-online" gimprc property and kill the gimp-help plug-in as it caches the location of the help pages. * app/widgets/gimphelp.[ch]: added gimp_help_user_manual_changed() for this purpose. svn path=/trunk/; revision=28073
b071dce3