[gimp/gimp-2-8] Bug 726181 - Heal tool mode is ignored - always in "Normal" mode

[Michael Natterer <mitch src gnome org>]

commit bdde26ec394f83ab38700e7dbd04b6d74140e214
Author: Michael Natterer <mitch gimp org>
Date:   Tue Apr 15 17:15:32 2014 +0200

    Bug 726181 - Heal tool mode is ignored - always in "Normal" mode
    
    Make the paint mode menu insensitive for the heal tool.
    
    (cherry picked from commit b1a0b4555e2efbdac9018348b2ca35ac5892a401)

 app/tools/gimppaintoptions-gui.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/app/tools/gimppaintoptions-gui.c b/app/tools/gimppaintoptions-gui.c
index 11ca180..5072d0c 100644
--- a/app/tools/gimppaintoptions-gui.c
+++ b/app/tools/gimppaintoptions-gui.c
@@ -97,6 +97,7 @@ gimp_paint_options_gui (GimpToolOptions *tool_options)
   if (tool_type == GIMP_TYPE_ERASER_TOOL     ||
       tool_type == GIMP_TYPE_CONVOLVE_TOOL   ||
       tool_type == GIMP_TYPE_DODGE_BURN_TOOL ||
+      tool_type == GIMP_TYPE_HEAL_TOOL       ||
       tool_type == GIMP_TYPE_SMUDGE_TOOL)
     {
       gtk_widget_set_sensitive (menu, FALSE);