[PATCH RFC] Decouple user selection from internal selection

[Eli Zaretskii]

> From: Simon Marchi <simon.marchi@ericsson.com>
> CC: Simon Marchi <simon.marchi@ericsson.com>
> Date: Thu, 23 Feb 2017 17:28:50 -0500
> 
> diff --git a/gdb/doc/observer.texi b/gdb/doc/observer.texi
> index 606ddfe536..f786b1e2b7 100644
> --- a/gdb/doc/observer.texi
> +++ b/gdb/doc/observer.texi
> @@ -307,7 +307,8 @@ This observer is used for internal testing.  Do not use.
>  See testsuite/gdb.gdb/observer.exp.
>  @end deftypefun
>  
> -@deftypefun void user_selected_context_changed (user_selected_what @var{selection})
> -The user-selected inferior, thread and/or frame has changed.  The user_select_what
> -flag specifies if the inferior, thread and/or frame has changed.
> +@deftypefun void global_user_selection_changed (user_selection *@var{us}, user_selected_what @var{selection})
> +The user-selected inferior, thread and/or frame in US has changed.  The

"US" should be "@var{us}".

> +user_select_what flag specifies if the inferior, thread and/or frame has

user_select_what should be in @code.

Thanks.