From mboxrd@z Thu Jan 1 00:00:00 1970 From: Rasmus Subject: Re: Highlighting LaTeX fragments Date: Sat, 16 Feb 2013 16:37:36 +0100 Message-ID: <87mwv41d8f.fsf@pank.iue.private> References: <87vca1towm.fsf@pank.eu> <8738x5s6r1.fsf@gmail.com> <87liaxtjf3.fsf@pank.eu> <87a9rdgjtw.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([208.118.235.92]:36120) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U6jpg-0007sz-0i for emacs-orgmode@gnu.org; Sat, 16 Feb 2013 10:37:46 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U6jpd-00084b-As for emacs-orgmode@gnu.org; Sat, 16 Feb 2013 10:37:43 -0500 Received: from mout.gmx.net ([212.227.17.20]:61580) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U6jpd-00084E-1A for emacs-orgmode@gnu.org; Sat, 16 Feb 2013 10:37:41 -0500 Received: from mailout-eu.gmx.com ([10.1.101.210]) by mrigmx.server.lan (mrigmx001) with ESMTP (Nemesis) id 0MPsKa-1U1nt23Tuc-0051jj for ; Sat, 16 Feb 2013 16:37:38 +0100 In-Reply-To: <87a9rdgjtw.fsf@gmail.com> (Nicolas Goaziou's message of "Sun, 10 Feb 2013 00:15:39 +0100") List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: n.goaziou@gmail.com Cc: emacs-orgmode@gnu.org > Would you mind testing the following patch? I don't like it much because > it's an all or nothing fontification. I think latex snippets, entities > and sub/superscript should be separated. I have no experienced any problems. I agree that it would be better not to be able not to fontitfy rouge entities and super/subscripts. > Anyway, does it replace the missing functionality? Yes, it seems so replicate the old behavior so far. =E2=80=93Rasmus --=20 A clever person solves a problem. A wise person avoids it