From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Juri Linkov Newsgroups: gmane.emacs.bugs Subject: bug#16439: [feature request] Highlighting of strings within Info buffers Date: Wed, 22 Jan 2014 10:09:19 +0200 Organization: JURTA Message-ID: <87r480zbdc.fsf@mail.jurta.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> 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 1390378274 15785 80.91.229.3 (22 Jan 2014 08:11:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 22 Jan 2014 08:11:14 +0000 (UTC) Cc: ruediger@c-plusplus.de, 16439@debbugs.gnu.org, sva-news@mygooglest.com To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Jan 22 09:11:20 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 1W5su7-0004yu-Aj for geb-bug-gnu-emacs@m.gmane.org; Wed, 22 Jan 2014 09:11:19 +0100 Original-Received: from localhost ([::1]:34166 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5su6-0007RO-GW for geb-bug-gnu-emacs@m.gmane.org; Wed, 22 Jan 2014 03:11:18 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:38131) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5stx-0007R4-8t for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 03:11:15 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W5str-0007Ly-41 for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 03:11:09 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:46176) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5str-0007Ls-1S for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 03:11:03 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1W5stq-0002Zl-Ih for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 03:11:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Juri Linkov Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 22 Jan 2014 08:11: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.13903782289855 (code B ref 16439); Wed, 22 Jan 2014 08:11:02 +0000 Original-Received: (at 16439) by debbugs.gnu.org; 22 Jan 2014 08:10:28 +0000 Original-Received: from localhost ([127.0.0.1]:60195 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W5stG-0002Ys-Hf for submit@debbugs.gnu.org; Wed, 22 Jan 2014 03:10:27 -0500 Original-Received: from [69.163.184.122] (port=47853 helo=ps18281.dreamhostps.com) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W5stE-0002Ye-6S for 16439@debbugs.gnu.org; Wed, 22 Jan 2014 03:10:24 -0500 Original-Received: from localhost.jurta.org (ps18281.dreamhostps.com [69.163.184.122]) by ps18281.dreamhostps.com (Postfix) with ESMTP id 03DB433EA0EC82; Wed, 22 Jan 2014 00:10:21 -0800 (PST) In-Reply-To: <83eh41gwlr.fsf@gnu.org> (Eli Zaretskii's message of "Tue, 21 Jan 2014 17:53:20 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (x86_64-pc-linux-gnu) 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:83871 Archived-At: > 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''? 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. 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'. This problem doesn't exist in HTML output that keeps all different source styles unambiguous, e.g.:

The main area of the frame, below the tool bar (if one exists) and above the echo area, is called the window. Henceforth in this manual, we will use the word “window” in this sense. ("/foo" "/bar" …) where only strings in " inside makes sense to highlight using `font-lock-string-face'.