[PATCH 3/7] attach to command_option-changed observer.

[Eli Zaretskii]

> From: Yao Qi <yao@codesourcery.com>
> Date: Fri, 27 Jul 2012 22:04:57 +0800
> 
> --- a/gdb/NEWS
> +++ b/gdb/NEWS
> @@ -3,6 +3,11 @@
>  
>  *** Changes since GDB 7.5
>  
> +* MI changes
> +
> +  ** Command option changes are now notified using new async record
> +     "=option-changed".
> +
>  *** Changes in GDB 7.5
>  
>  * GDB now supports x32 ABI.  Visit <http://sites.google.com/site/x32abi/>
> diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
> index 68ea817..aa95a91 100644
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -27638,6 +27638,9 @@ breakpoint commands; @xref{GDB/MI Breakpoint Commands}.
>  Note that if a breakpoint is emitted in the result record of a
>  command, then it will not also be emitted in an async record.
>  
> +@item =option-changed,option=@var{option},value=@var{value}
> +Reports that an option of the command @code{set @var{option}} is
> +changed to @var{value}.
>  @end table
>  
>  @node GDB/MI Frame Information

These parts are OK.  Thanks.