From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=UEGZ=55=gnu.org=eliz@sourceware.org>
Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10])
	by sourceware.org (Postfix) with ESMTPS id 331AE3858D3C
	for <gdb-patches@sourceware.org>; Wed,  1 Feb 2023 12:41:35 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 331AE3858D3C
Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gnu.org
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gnu.org
Received: from fencepost.gnu.org ([2001:470:142:3::e])
	by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.90_1)
	(envelope-from <eliz@gnu.org>)
	id 1pNCQg-0001mw-BU; Wed, 01 Feb 2023 07:41:34 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
	s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date:
	mime-version; bh=uRJ+BTCpdGX751jGpwiybZyLHqfwcGXNHO8GzoXtM8k=; b=SLsSnpdvjMMW
	6PSfsy2ClZ0hktSYiJngK7w0UX6O9uc26YkxCJmG9vgwRGzLQ6sIYBNCtIpdAdL6rckSuLl22ppfW
	kekhVJzkpIooaqVDRMlZW8AnZ/OIx1B7xaO69cBlwmpe4jY/uVadh3BX+piFM6whHBm/4S/PUgwSC
	ruXAHu/AXxHb0dmguOnw7hP70aLdTgfFNRZboScV18zRs653Eg4+d/kxns4JqDM+/0exzUXtcKW+X
	0b5W9d0ppamALzrE8cqLcD25oNG8MZflC5FFMsa43DwfVrDeO0neCaZPEABw71HFVANJUB4ATYTlJ
	Rg4tF963pOmWbpTITUiX5w==;
Received: from [87.69.77.57] (helo=home-c4e4a596f7)
	by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.90_1)
	(envelope-from <eliz@gnu.org>)
	id 1pNCQO-0001U0-FH; Wed, 01 Feb 2023 07:41:32 -0500
Date: Wed, 01 Feb 2023 14:41:16 +0200
Message-Id: <835ycl1rtf.fsf@gnu.org>
From: Eli Zaretskii <eliz@gnu.org>
To: strager <strager.nds@gmail.com>
Cc: gdb-patches@sourceware.org
In-Reply-To:
	<CAC-ggsFyVKyrV-DJJRnVg7gDStnSXwkSOQzENmrR78UjZK8yNQ@mail.gmail.com>
	(message from strager on Wed, 1 Feb 2023 00:35:47 -0800)
Subject: Re: [PATCH] gdb/tui: add 'set tui mouse-events off' to restore mouse selection
References: <CAC-ggsEszq2WX7eZ_UdvgaBtM1YdnBFyJstr4Z0=BNW6VcMEEQ@mail.gmail.com>
 <838rhnawf9.fsf@gnu.org> <CAC-ggsFyVKyrV-DJJRnVg7gDStnSXwkSOQzENmrR78UjZK8yNQ@mail.gmail.com>
X-Spam-Status: No, score=1.9 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_BARRACUDACENTRAL,SPF_HELO_PASS,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6
X-Spam-Level: *
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <gdb-patches.sourceware.org>

> From: strager <strager.nds@gmail.com>
> Date: Wed, 1 Feb 2023 00:35:47 -0800
> Cc: gdb-patches@sourceware.org
> 
> +set tui mouse-events [on|off]
> +show tui mouse-events
> +  When on (default), mouse clicks control the TUI and can be accessed by
> +  plugins.  When off, mouse clicks are handled by the terminal.  This enables
> +  terminal-native text selection.

This is OK, except that I don't think we use the term "plug-in" in our
documentation.  I suggest to use "Python extensions" instead.

> +@item set tui mouse-events @r{[}on@r{|}off@r{]}
> +@kindex set tui mouse-events
> +When on (default), mouse clicks control the TUI and can be accessed by plugins.
> +When off, mouse clicks are handled by the terminal. This enables
> terminal-native
> +text selection.

Likewise here, and also please leave 2 spaces between sentences, per
US English conventions we use in our documentation.