From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id 2ddoBRRe2mOtIicAWB0awg (envelope-from ) for ; Wed, 01 Feb 2023 07:41:56 -0500 Received: by simark.ca (Postfix, from userid 112) id 0A5161E128; Wed, 1 Feb 2023 07:41:56 -0500 (EST) Authentication-Results: simark.ca; dkim=pass (1024-bit key; secure) header.d=sourceware.org header.i=@sourceware.org header.a=rsa-sha256 header.s=default header.b=RPEvGsYI; dkim-atps=neutral X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on simark.ca X-Spam-Level: X-Spam-Status: No, score=-5.3 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED, URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from sourceware.org (server2.sourceware.org [8.43.85.97]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by simark.ca (Postfix) with ESMTPS id 853BB1E110 for ; Wed, 1 Feb 2023 07:41:55 -0500 (EST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id C42CA3858D37 for ; Wed, 1 Feb 2023 12:41:53 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C42CA3858D37 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1675255313; bh=uRJ+BTCpdGX751jGpwiybZyLHqfwcGXNHO8GzoXtM8k=; h=Date:To:Cc:In-Reply-To:Subject:References:List-Id: List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe: From:Reply-To:From; b=RPEvGsYIzBzuaWbPVtAe8ol32x2gvvucMDP+XkCz5OMcq0miT4r+5sHg/oClwhmha FyRFVrEOH06Ymk2E9/MJg0DdhyRixc3OhiO1U3Ot+2i3gBh7O11XNhCCTCATVTcjqE AC8HxRGbj3OojmQQQ65QlFAW4MX0aWO2dfUy4xUo= Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10]) by sourceware.org (Postfix) with ESMTPS id 331AE3858D3C for ; Wed, 1 Feb 2023 12:41:35 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 331AE3858D3C 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 ) id 1pNCQg-0001mw-BU; Wed, 01 Feb 2023 07:41:34 -0500 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 ) 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> To: strager Cc: gdb-patches@sourceware.org In-Reply-To: (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: <838rhnawf9.fsf@gnu.org> X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , From: Eli Zaretskii via Gdb-patches Reply-To: Eli Zaretskii Errors-To: gdb-patches-bounces+public-inbox=simark.ca@sourceware.org Sender: "Gdb-patches" > From: strager > 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.