Re: [PATCH/python] notify memory changed.

[Joel Brobecker <brobecker@adacore.com>]

> The rest of calls to write_memory are about gdb-requested changes to achieve 
> some functions, such as inferior call or displaced stepping.  I didn't think 
> of carefully the usefulness of notifying observers for operations during inf-
> call or displaced stepping.

Hmmm, yes, it is true that we probably don't want to alert the observers
for these (kind of temporary) memory writes. I still worry that we are
going to keep making the same mistake as the one you are fixing here,
but for now I see your point.

Perhaps, for later, we might want to have a look at having two routines,
one "silent", and one that notifies the observers, a little bit like
the routine we have for adding new threads, for instance.

-- 
Joel