Re: [RFA/RFC] Implement =thread-selected notification.

[Eli Zaretskii <eliz@gnu.org>]

> From: Vladimir Prus <vladimir@codesourcery.com>
> Date: Wed, 13 Aug 2008 16:40:15 +0400
> 
> Only doc changes need formal approval; feedback on other bits is appreciated.

Thanks; approved.  I have a few minor comments.

> +command.  This notification is not emitted as result of -thread-select

Please give -thread-select a @code markup, as it's a command.

> +to change the selected thread actually changes it. In particular,
                                                    ^^
Two spaces, please.

> +invoking, directly or indirectly (via user-defined command), the CLI
> +``thread'' command, will generate this notification.

@code{thread} or @samp{thread} (I'm not quite sure what do you mean by
``thread'' here, so I'm unsure which one is better).

> +It is suggested that the frontend, in response to this notification, 
> +hightlights the selected thread and makes any further operations
> +apply to this thread.  

  We suggest that in response to this notification, front ends
  highlight the selected thread and cause subsequent commands apply to
  that thread.