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

[Michael Natterer <mitch src gnome org>]

commit b1a0b4555e2efbdac9018348b2ca35ac5892a401
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.

 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 6c323ec..3c04763 100644
--- a/app/tools/gimppaintoptions-gui.c
+++ b/app/tools/gimppaintoptions-gui.c
@@ -90,6 +90,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);