From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id UMzzNebY0WDlhgAAgWs5BA (envelope-from ) for ; Tue, 22 Jun 2021 14:34:46 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id sD+OMebY0WAaTAAAbx9fmQ (envelope-from ) for ; Tue, 22 Jun 2021 12:34:46 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 24C7F230FC for ; Tue, 22 Jun 2021 14:34:46 +0200 (CEST) Received: from localhost ([::1]:34752 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lvfc5-0007py-4W for larch@yhetil.org; Tue, 22 Jun 2021 08:34:45 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:33876) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lvfaK-0006Jx-Jv for emacs-orgmode@gnu.org; Tue, 22 Jun 2021 08:32:56 -0400 Received: from mail-ed1-x529.google.com ([2a00:1450:4864:20::529]:40582) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lvfaI-0003Ir-8q for emacs-orgmode@gnu.org; Tue, 22 Jun 2021 08:32:56 -0400 Received: by mail-ed1-x529.google.com with SMTP id t3so23396632edc.7 for ; Tue, 22 Jun 2021 05:32:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=HvMfX2N8XfJwFN2iJqGkVLvFgViX6aRaH9RlwopILE8=; b=kDGEjd9up4KeZCqb7EIvHmn62uvqCjrYsNk8+T28Hn8iHS/JP4nrlMVQkgXYNEJXdZ JaZgOgL0q+1rSfr2LRnnaz5/ybeTQ9/pI4Prd/Nn1+SAxvAU2oB7ZjIrueO4rlxZ3fzC 7AarsNWOMXTfOZRmH7LrfBonskVYU2WRpT9rX6hjL/6cxlEICLx9iAZjjCgpsE/T/GEy 1lrNSb0ZRRNZCDpbjQlTDANwm251kyHvfida74gkEQZi/+FI+o/1P7M4MgCH2kp5IZrl HXlKFuTGlV6+IqzWAOGYUoIdgZnUOpnbkYs/oKCltdlEhuDHWfeZ5IGfUPULHUY88FFM 8qYA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=HvMfX2N8XfJwFN2iJqGkVLvFgViX6aRaH9RlwopILE8=; b=YQqDXBKVy6tEsn0HxumS01rggl7gQeB6XLLKUOdCnM9T3N1sNfO2gJ4o2zuR0S4RCa Cp81dRwyu1JemgdKX6PmdyvOUbxHU+wGN5j7nVWk9L1PXp6A2BT2c3B+DCgWXzHxJeIg m5Q1WEpqNqhwS3JwKXFxeMn0Sev1FlcGBTog5H7ypRoDWjgortMupvavOPDo+70Ri/C0 6ipP21z4E1lJI+WfYX6Rm+79Qz56zoBztSeZHnLMgX4nEUEq5khyfOvF3DXX3IQ9C4wX /SGBHseW7MKVYYcSovYh1n09q0t1hEtGUOtd8/4EtVQ0uNMb5sXtzlc7n2+0wAQLnotx eQ3Q== X-Gm-Message-State: AOAM533F5b7N/zB3IAALIkOOZcNS68uOdmv4qU7V4ZEo+KjXSfyhIyCF HrsmJRs/l6tQmZdd3nMyeym3xXCKOjPMNb2NsqVRf1bBcR0= X-Google-Smtp-Source: ABdhPJweHFL8JYL20d0RzPgZXaDH6BmFrHm19+2HmtHQyg+5JK4quAzjD4iOsHJHb47P0M+qnNVGbjz0tBzRFLU/WlI= X-Received: by 2002:a05:6402:1001:: with SMTP id c1mr4668590edu.26.1624365172037; Tue, 22 Jun 2021 05:32:52 -0700 (PDT) MIME-Version: 1.0 References: <87o8by2v1q.fsf@ucl.ac.uk> <8735ta2j2d.fsf@ucl.ac.uk> In-Reply-To: <8735ta2j2d.fsf@ucl.ac.uk> From: =?UTF-8?Q?L=C3=A9o_Ackermann?= Date: Tue, 22 Jun 2021 14:32:41 +0200 Message-ID: Subject: Re: Large source block causes org-mode to be unusable To: Org Mode List Content-Type: multipart/alternative; boundary="000000000000109d1a05c559fd22" Received-SPF: pass client-ip=2a00:1450:4864:20::529; envelope-from=leo.komba@gmail.com; helo=mail-ed1-x529.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-orgmode@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+larch=yhetil.org@gnu.org Sender: "Emacs-orgmode" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1624365286; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=HvMfX2N8XfJwFN2iJqGkVLvFgViX6aRaH9RlwopILE8=; b=nqSgaK2yKz2Fxt8VaAYhrvxyvvcBug3mWTjJ4sqQYWc1oV7Jgj1xAVWRSxEHChVVNQnFZz Otb/mnwSNwqee5FAVHmQOZwJjI+OdwEx5W/eJhZarP0CWM6R9hR0P8wc1TcbG0++uVOXCJ CJ+k77WBiQ8DKgq0tyMI/wI8KAdnQBokLO5lNZ/GbFgeX9/1WbGJeHHHMvAqflM1PciDzl CRR6NGbOL4Oa3zorvzklMQFHnxjDOmQFzTBDZv558WKSUnnnbTq0MaZdt1+bR7jiQALxzS XKeJwn3hj9V6Xs+g9AQN19ILeouWOldixM8IiC3BdE7BrGI9S1pqiYfg5t48JA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1624365286; a=rsa-sha256; cv=none; b=kJ7wW5H7iX/4Ljsc9UWHyCVG+IBnlkNUnGbVTB8Fpcp5TQwecBUQ5Cd9x3qSk2uS2F021m VonwNyyE6kR/7E2XaaEQdZLEa46qCto8XSbV7Uc4iL95KC/GB7qcbl+nD3bnewmHx3hsaX qEKKcfnVTUcRT0A7+7HawOlSfqrqIadtBYflGSWTTnQpERPj6BjK8G39S5Ub4pTjwZgJgb 6ROQHcTmXD1F2ncLh5FI0TkLYM1tuFBMe9WhzUjl3sMCiegfThVHZH9XSEOHfS0geecF66 i3wS2+bIpV1RqYZD8GAXDcGIIwdc9J0PXN8InD5VjFjaikU7FRRm4YXJi3g4GQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=kDGEjd9u; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of emacs-orgmode-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=emacs-orgmode-bounces@gnu.org X-Migadu-Spam-Score: -3.12 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=kDGEjd9u; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of emacs-orgmode-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=emacs-orgmode-bounces@gnu.org X-Migadu-Queue-Id: 24C7F230FC X-Spam-Score: -3.12 X-Migadu-Scanner: scn0.migadu.com X-TUID: lw8kNgLiUKgH --000000000000109d1a05c559fd22 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable > I am not sure what you are asking. What specific treatment are you referring to? I suggest that special block in LateX export ( https://orgmode.org/manual/Special-blocks-in-LaTeX-export.html) may be treated differently. Once again, I'm new to org-mode, but here is my intuition: - What is happening now. The #+BEGIN_proof / #+END_proof keywords cause my proof to be seen as a block. Therefore, babel fontification is called to highlight syntax of my proof within my buffer. Timothy already discussed here how inefficient the babel fontification is. - What could happen. Changing (somewhere) the treatment of #BEGIN_proof & co the following way: Assign them to a new face "latex_export_sugar" and ignore them while editing. Doing this, the fontification of the org proof will be made as usual and will be fast enough. While exporting, replace #+BEGIN_proof by \begin{proof} and so on... Do you see what I mean ? Best, Le mar. 22 juin 2021 =C3=A0 14:13, Eric S Fraga a =C3= =A9crit : > On Tuesday, 22 Jun 2021 at 13:20, L=C3=A9o Ackermann wrote: > > I am new to org-mode but, is there a reason why #+BEGIN_proof #+END_pro= of > > and other org-latex-special-block are treated as block ? > > I am not sure what you are asking. What specific treatment are you > referring to? > > -- > : Eric S Fraga via Emacs 28.0.50, Org release_9.4.6-567-g22bf80 > : Latest paper written in org: https://arxiv.org/abs/2106.05096 > --000000000000109d1a05c559fd22 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
> I am not sure what you are asking.=C2=A0 What specifi= c treatment are you
referring to?

I suggest that spec= ial block in LateX export (https://orgmode.org/manual/Special-blocks-in-LaT= eX-export.html) may be treated differently. Once again, I'm new to = org-mode, but here is my intuition:
- What is happening now. The = #+BEGIN_proof / #+END_proof keywords cause my proof to be seen as a block. = Therefore, babel fontification is called to highlight syntax of my proof wi= thin my buffer. Timothy already discussed here how inefficient the babel fo= ntification is.
- What could happen. Changing (somewhere) the tre= atment of #BEGIN_proof & co the following way: Assign them to a new fac= e "latex_export_sugar" and ignore them while editing. Doing this,= the fontification of the org proof will be made as usual and will be fast = enough. While exporting, replace #+BEGIN_proof by \begin{proof} and so on..= .

Do you see what I mean ?

Best,

Le=C2=A0mar. 22 juin 2021 =C3=A0=C2=A014:13, Eric S Fraga <= e.fraga@ucl.ac.uk> a =C3=A9crit= =C2=A0:
On Tuesd= ay, 22 Jun 2021 at 13:20, L=C3=A9o Ackermann wrote:
> I am new to org-mode but, is there a reason why #+BEGIN_proof #+END_pr= oof
> and other org-latex-special-block are treated as block ?

I am not sure what you are asking.=C2=A0 What specific treatment are you referring to?

--
: Eric S Fraga via Emacs 28.0.50, Org release_9.4.6-567-g22bf80
: Latest paper written in org: https://arxiv.org/abs/2106.05096<= br>
--000000000000109d1a05c559fd22--