app: oper_update(): if we are not in proximity, set the function to DEAD

so all hovering is undrawn. oper_update() is called with proximity ==
FALSE when the pointer leaves the canvas, either to the outside or
into an overlay widget, so this is exactly the right thing to do (and
is probably missing from a lot of other tools too).
This commit is contained in:
Michael Natterer 2010-03-01 23:34:52 +01:00
parent ffd6248a5e
commit f214b4f9b7
1 changed files with 5 additions and 1 deletions

View File

@ -1582,7 +1582,11 @@ gimp_rectangle_tool_oper_update (GimpTool *tool,
return;
}
if (gimp_rectangle_tool_coord_outside (rect_tool, coords))
if (! proximity)
{
function = GIMP_RECTANGLE_TOOL_DEAD;
}
else if (gimp_rectangle_tool_coord_outside (rect_tool, coords))
{
/* The cursor is outside of the rectangle, clicking should
* create a new rectangle.