From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-f44.google.com (mail-wm1-f44.google.com [209.85.128.44]) by sourceware.org (Postfix) with ESMTPS id 7979E3858C52 for ; Thu, 2 Feb 2023 19:50:40 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 7979E3858C52 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=palves.net Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-wm1-f44.google.com with SMTP id q8so2276862wmo.5 for ; Thu, 02 Feb 2023 11:50:40 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:content-language:in-reply-to:mime-version :user-agent:date:message-id:from:references:cc:to:subject :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=IzG6A2R/A0N0kQMqAL8/aiy3cGTBlAoCczWNHfyAWTc=; b=qDwJk/1fsVkn8YLo01cS8U6qMXARMNL0+wZKC6bfYCERq7t9Xky/OQQLGtyJ/dOb7x VMeWlQwNQO5/xVu+tFmYNuiX3eHlN3yExmMHSHO9VuTXV1sp2QBDhGvCodr+w5Ms+8UK ZD7P9bOJYQTNQMbwoh6D+glRcxUiB4K5qLeluXidAscmonyk26+VPxPqe0TcMDhwK+Uc v5faTKjta9S96F4m4ygyjAdfEovxfdXx7CBr0iNC7qm8ZxNHuHYgD2Y7vuHdVxLstYTx VRSMJxE8km1jpaEUPAqofH5NhjFa5kXd5BefcESWqpDdsF3AHwSAKW0seYgnNPETk83j Pwsg== X-Gm-Message-State: AO0yUKWET7rKuk17SjaSd/ZCY64K+UtgYOtPvGbhpoSHHjvEpBZYIBvf kRuAhJb902EGZruKZtkt4VRyaYVxSvBY5ekl X-Google-Smtp-Source: AK7set9XVL7UA1eaCBdfiKaaAUOUJoKLkaIIPcidiMb+wZRCgXfYUlnxuH43Ad/SBbTop9w+zm/r4g== X-Received: by 2002:a05:600c:3595:b0:3de:82a3:82bb with SMTP id p21-20020a05600c359500b003de82a382bbmr7481053wmq.1.1675367439143; Thu, 02 Feb 2023 11:50:39 -0800 (PST) Received: from ?IPv6:2001:8a0:f92b:9e00::1fe? ([2001:8a0:f92b:9e00::1fe]) by smtp.gmail.com with ESMTPSA id p2-20020a05600c358200b003dc4ecfc4d7sm666182wmq.29.2023.02.02.11.50.38 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 02 Feb 2023 11:50:38 -0800 (PST) Subject: Re: [PATCH] gdb/tui: add 'set tui mouse-events off' to restore mouse selection To: strager , Andrew Burgess , Eli Zaretskii Cc: gdb-patches@sourceware.org References: <838rhnawf9.fsf@gnu.org> <87ilgltt15.fsf@redhat.com> From: Pedro Alves Message-ID: Date: Thu, 2 Feb 2023 19:50:34 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.10.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-4.2 required=5.0 tests=BAYES_00,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM,HEADER_FROM_DIFFERENT_DOMAINS,KAM_DMARC_STATUS,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 2023-02-02 1:08 a.m., strager via Gdb-patches wrote: > --- gdb/doc/gdb.texinfo > +++ gdb/doc/gdb.texinfo > @@ -29606,7 +29606,13 @@ the @key{SHIFT} key on your keyboard to > temporarily bypass > @value{GDBN}'s TUI and access the terminal's native mouse copy/paste > functionality (commonly, click-drag-release or double-click to select > text, middle-click to paste). This copy/paste works with the > -terminal's selection buffer, as opposed to the TUI's buffer. > +terminal's selection buffer, as opposed to the TUI's buffer. Alternatively, to > +disable mouse support in the TUI entirely and give the terminal control over > +mouse clicks, turn off the @code{tui mouse-events} setting > +(@pxref{tui-mouse-events,,set tui mouse-events}). > + I noticed the new command doesn't have a "set" callback, so I guess this means that you have to disable and re-enable the TUI for the setting to take effect? Or does it take effect immediately somehow?