From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#16439: [feature request] Highlighting of strings within Info buffers Date: Wed, 22 Jan 2014 17:42:02 +0200 Message-ID: <83mwiof2gl.fsf@gnu.org> References: <86lhyic1ik.fsf@somewhere.org> <1394187.cuqsIWxxGs@descartes> <27136a64-176c-4312-a2aa-c86e81091a76@default> <874n4z3tb7.fsf@mail.jurta.org> <83ioteisx1.fsf@gnu.org> <8738khzs5c.fsf@mail.jurta.org> <83eh41gwlr.fsf@gnu.org> <87r480zbdc.fsf@mail.jurta.org> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8BIT X-Trace: ger.gmane.org 1390405331 25783 80.91.229.3 (22 Jan 2014 15:42:11 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 22 Jan 2014 15:42:11 +0000 (UTC) Cc: ruediger@c-plusplus.de, 16439@debbugs.gnu.org, sva-news@mygooglest.com To: Juri Linkov Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Jan 22 16:42:17 2014 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1W5zwV-00056q-2w for geb-bug-gnu-emacs@m.gmane.org; Wed, 22 Jan 2014 16:42:15 +0100 Original-Received: from localhost ([::1]:35823 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5zwU-0000yX-FX for geb-bug-gnu-emacs@m.gmane.org; Wed, 22 Jan 2014 10:42:14 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:38898) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5zwN-0000xR-M5 for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 10:42:11 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W5zwJ-00013I-Cj for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 10:42:07 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:46773) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5zwJ-000137-8W for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 10:42:03 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1W5zwI-0007EY-Cs for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 10:42:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 22 Jan 2014 15:42:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16439 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 16439-submit@debbugs.gnu.org id=B16439.139040531427791 (code B ref 16439); Wed, 22 Jan 2014 15:42:02 +0000 Original-Received: (at 16439) by debbugs.gnu.org; 22 Jan 2014 15:41:54 +0000 Original-Received: from localhost ([127.0.0.1]:60792 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W5zwA-0007EB-58 for submit@debbugs.gnu.org; Wed, 22 Jan 2014 10:41:54 -0500 Original-Received: from mtaout26.012.net.il ([80.179.55.182]:48897) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W5zw6-0007Dx-9a for 16439@debbugs.gnu.org; Wed, 22 Jan 2014 10:41:51 -0500 Original-Received: from conversion-daemon.mtaout26.012.net.il by mtaout26.012.net.il (HyperSendmail v2007.08) id <0MZT00M007959R00@mtaout26.012.net.il> for 16439@debbugs.gnu.org; Wed, 22 Jan 2014 17:41:12 +0200 (IST) Original-Received: from HOME-C4E4A596F7 ([87.69.4.28]) by mtaout26.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0MZT00G677KOD680@mtaout26.012.net.il>; Wed, 22 Jan 2014 17:41:12 +0200 (IST) In-reply-to: <87r480zbdc.fsf@mail.jurta.org> X-012-Sender: halo1@inter.net.il X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:83885 Archived-At: > From: Juri Linkov > Cc: drew.adams@oracle.com, ruediger@c-plusplus.de, 16439@debbugs.gnu.org, sva-news@mygooglest.com > Date: Wed, 22 Jan 2014 10:09:19 +0200 > > > I agree, and didn't say anything to the contrary. I told about the > > slant typeface as an evidence that what came out of @dfn should be > > emphasized in some way. > > I don't understand the difference between using @dfn and double quotes, > e.g. why in the source of the chapter "The Organization of the Screen": > > The main area of the frame, below the tool bar (if one exists) and > above the echo area, is called @dfn{the window}. Henceforth in this > manual, we will use the word ``window'' in this sense. > > the different styles are used for @dfn{the window} and ``window''? The former is terminology, the latter is just a word. > But if both were written in the Info output using DOUBLE QUOTATION MARK > as “window”, then in the Info browser we could emphasize such terms > using the slant typeface and put invisible properties on quote characters. That should be OK, I think. > Then if code blocks such as e.g. in @code{("/foo" "/bar" @dots{})} > were written using simple quotation marks e.g. ("/foo" "/bar" …) > then it would make sense to highlight quoted strings in Info > in code samples using `font-lock-string-face'. That'd be OK as well, IMO. > This problem doesn't exist in HTML output that keeps all different source > styles unambiguous, e.g.: HTML is a markup language, Info is not.