app: don't crash on a dangling image_map_tool->active_picker pointer

gimp_operation_tool_set_operation(): set it to NULL when destroying
the previous operation's options_table (if it was non-NULL it was a
widget from that table).
This commit is contained in:
Michael Natterer 2013-05-30 23:28:26 +02:00
parent 0a2b86e534
commit 814c47b0b9
1 changed files with 2 additions and 0 deletions

View File

@ -312,6 +312,8 @@ gimp_operation_tool_set_operation (GimpOperationTool *tool,
{
gtk_widget_destroy (tool->options_table);
tool->options_table = NULL;
GIMP_IMAGE_MAP_TOOL (tool)->active_picker = NULL;
}
if (tool->config)