[RFC - Python] New ObjFile event

[Tom Tromey]

>>>>> "Kevin" == Kevin Pouget <kevin.pouget@gmail.com> writes:

Kevin> 	Allow Python notification of new object-file loadings.
[...]

Kevin> +During the callback, ``current objfile'' will be set to the new object file
Kevin> +(@pxref{Objfiles In Python}).

Why not simply make the objfile object an attribute of the event?
That seems cleaner to me.

Kevin> +  if (objfile == NULL)
Kevin> +       return;

Indentation looks off.

Tom