From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22970 invoked by alias); 21 Jun 2005 03:41:58 -0000 Mailing-List: contact gdb-patches-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sources.redhat.com Received: (qmail 22954 invoked by uid 22791); 21 Jun 2005 03:41:55 -0000 Received: from legolas.inter.net.il (HELO legolas.inter.net.il) (192.114.186.24) by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Tue, 21 Jun 2005 03:41:55 +0000 Received: from HOME-C4E4A596F7 (IGLD-83-130-206-160.inter.net.il [83.130.206.160]) by legolas.inter.net.il (MOS 3.5.8-GR) with ESMTP id ERC54023 (AUTH halo1); Tue, 21 Jun 2005 06:41:46 +0300 (IDT) Date: Tue, 21 Jun 2005 03:41:00 -0000 Message-Id: From: Eli Zaretskii To: Nick Roberts CC: gdb-patches@sources.redhat.com In-reply-to: <17079.14802.440872.208976@farnswood.snap.net.nz> (message from Nick Roberts on Tue, 21 Jun 2005 09:49:06 +1200) Subject: Re: [PATCH] Removal of markup annotations Reply-to: Eli Zaretskii References: <17071.40307.949193.158796@farnswood.snap.net.nz> <17078.44751.122166.148138@farnswood.snap.net.nz> <17079.14802.440872.208976@farnswood.snap.net.nz> X-SW-Source: 2005-06/txt/msg00326.txt.bz2 > From: Nick Roberts > Date: Tue, 21 Jun 2005 09:49:06 +1200 > Cc: gdb-patches@sources.redhat.com > > > > In gdb.texinfo I suggest: > > > > > > 1) Moving the node "Server Prefix" out of "Annotations" and into "Controlling > > > GDB" betweed "History" and "Screen Size". > > > > You are right that it should be moved out of "Annotations", but I'm > > not sure the place you suggest is the right one (it's not about > > controlling GDB). I will try to find a better place. > > Its related to "History" which also isn't about controlling GDB, so perhaps > that node should also be moved Maybe we simply should describe the "server CMD" feature in the "History" node, instead of having it in a separate node.