[gimp] app: make the "force" option insensitive for the pencil tool

[N/A <ell src gnome org>]

commit 54fd81017388662396e9683d7c836b0047523b44
Author: Ell <ell_se yahoo com>
Date:   Sun Jul 2 19:26:30 2017 -0400

    app: make the "force" option insensitive for the pencil tool
    
    It has no effect.

 app/tools/gimppaintoptions-gui.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/app/tools/gimppaintoptions-gui.c b/app/tools/gimppaintoptions-gui.c
index 7613124..0573b94 100644
--- a/app/tools/gimppaintoptions-gui.c
+++ b/app/tools/gimppaintoptions-gui.c
@@ -216,6 +216,9 @@ gimp_paint_options_gui (GimpToolOptions *tool_options)
       gtk_box_pack_start (GTK_BOX (vbox), hbox, FALSE, FALSE, 0);
       gtk_widget_show (hbox);
 
+      if (tool_type == GIMP_TYPE_PENCIL_TOOL)
+        gtk_widget_set_sensitive (hbox, FALSE);
+
       g_object_unref (link_group);
 
       button = gimp_prop_dynamics_box_new (NULL, GIMP_CONTEXT (tool_options),