From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 79887 invoked by alias); 18 Mar 2019 16:02:03 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Received: (qmail 79872 invoked by uid 89); 18 Mar 2019 16:02:03 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-2.6 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE,SPF_HELO_PASS autolearn=ham version=3.3.1 spammy=day X-HELO: gateway32.websitewelcome.com Received: from gateway32.websitewelcome.com (HELO gateway32.websitewelcome.com) (192.185.145.119) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 18 Mar 2019 16:01:58 +0000 Received: from cm12.websitewelcome.com (cm12.websitewelcome.com [100.42.49.8]) by gateway32.websitewelcome.com (Postfix) with ESMTP id DA146DBEB4 for ; Mon, 18 Mar 2019 11:01:56 -0500 (CDT) Received: from box5379.bluehost.com ([162.241.216.53]) by cmsmtp with SMTP id 5ui4hoiYeiQer5ui4hcud6; Mon, 18 Mar 2019 11:01:56 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tromey.com; s=default; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date: References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=xRAuO9vU3huPt/HZAnTE2yF5xmcNGeRMdkB5xSDpybo=; b=qxQNtJ08XJNJdN5h28wdgg7Vae wuoyor1myLIvLjnlFS1wPZLB5ldHu7ggiSC1wPCxkdR3Cc1V/LtWCK1FPhqJuYxVhCSC2k13cledA dMcRrDWFINOjXdjd2BF7FlbUz; Received: from 174-29-37-56.hlrn.qwest.net ([174.29.37.56]:45962 helo=murgatroyd) by box5379.bluehost.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.91) (envelope-from ) id 1h5ui4-000pEN-KV; Mon, 18 Mar 2019 11:01:56 -0500 From: Tom Tromey To: Sergio Durigan Junior Cc: Sergei Trofimovich , Tom Tromey , gdb-patches@sourceware.org Subject: Re: [PATCH] gdb/configure.ac: add --enable-source-highlight References: <20190313215020.11959-1-slyfox@gentoo.org> <87k1h0b4ql.fsf@tromey.com> <20190317224720.181c95af@sf> <8736nkrg8c.fsf@redhat.com> Date: Mon, 18 Mar 2019 16:02:00 -0000 In-Reply-To: <8736nkrg8c.fsf@redhat.com> (Sergio Durigan Junior's message of "Sun, 17 Mar 2019 23:52:51 -0400") Message-ID: <87ftrk41e4.fsf@tromey.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-SW-Source: 2019-03/txt/msg00383.txt.bz2 >>>>> "Sergio" == Sergio Durigan Junior writes: Sergio> Something Keith and I were talking about the other day is adding a Sergio> command line switch to enable/disable source highlight, so the user can Sergio> do: Sergio> gdb --disable-source-highlight ... Sergio> (or some such) Sergio> WDYT? FWIW you can "set style source off" now. Tom