From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id eDY0GIWo2WB6YwEAgWs5BA (envelope-from ) for ; Mon, 28 Jun 2021 12:46:29 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id oATyE4Wo2WDRfgAAB5/wlQ (envelope-from ) for ; Mon, 28 Jun 2021 10:46:29 +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 9FEB012DF0 for ; Mon, 28 Jun 2021 12:46:28 +0200 (CEST) Received: from localhost ([::1]:47226 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lxomZ-0003EF-Ma for larch@yhetil.org; Mon, 28 Jun 2021 06:46:27 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34672) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lxolo-0003DV-KA for emacs-orgmode@gnu.org; Mon, 28 Jun 2021 06:45:40 -0400 Received: from mail-vi1eur04on0718.outbound.protection.outlook.com ([2a01:111:f400:fe0e::718]:21502 helo=EUR04-VI1-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lxolm-0008Un-Jk for emacs-orgmode@gnu.org; Mon, 28 Jun 2021 06:45:40 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=BFVOgj5Mfoao3znJe3tf/kA7nJgk8elVEKzWBjU5NNRNjAVHnI9aXIw7OSVraIgrXxm0lMfZXGJVwluTuZc12z6H+lQo9k64LS+tQmqVQpv8Vl25/ZBEFKONfjGkdLFzYWCO0/HyO8Mdkwr6D9wPQEnZBs/F06sBa5bu2SkzujOxBEyoivZ9gHGQNu6WpRSdj5mEQeve6+nURazTo6hrv5tLPUCNV2+kaM7uIZtp1OekZqHJw9V+NEDtQkQZTizH3GeIW/2KOKON4C2H01k6OEoYhLyF2zLDepmDQFuo7sPQHJwKWJubtv1paJkurEAC03auXber3YYF9OAqDwCAtA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=rysQZ7inehUnc9gIMI6xPVCWQvAwXk2/7Zb49yq1DGM=; b=JXWpW2pRsXAwXYaRmaXSmzXSURMx5g1/P0HtaLMZc3A6CNYS6fQ+C29KftVbtxu/uBuX9nJuCN3nSOA4sy872xC8Rm3aHEWBNS7SkWBz6ydA58gudIldtKCfAzYVlYy5CJLoLkTZXvTYOWt1+wjbceq2r07oqX0MN3gNI2yqaYz1qT4pEZjYAMHvYOhDUpU0Zld3R846IwsdqAW46XuZAEeHBDo0fEuIjY0x79Qtabcp1sge9L5/T83HmPZ2m1WH+SuyI32cUZsZZHp0WxZO0eTmKbZcHrUtmsQJr9raWLNGCfjXnQNm7lIERCrK1oUYGqWD2fsem4DbZY0Ae5obBA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ucl.ac.uk; dmarc=pass action=none header.from=ucl.ac.uk; dkim=pass header.d=ucl.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ucl.ac.uk; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=rysQZ7inehUnc9gIMI6xPVCWQvAwXk2/7Zb49yq1DGM=; b=ac0cBlF8QmSzJUT+C0llaYjJdSMCrunR7RdIfCbJuRhh95u8ZnWrY0CMi50FWe7gO46Pff9WRjRx3PP/MqmFV4Wn2lgDdepmVe3567vgf1GBEdLy8lYUwQ0P0VX93/WgYMAGOJR4kEFPc4AksBoHYIcZikI+vI0iH3daTpbpsT4= Received: from PAXPR01MB8415.eurprd01.prod.exchangelabs.com (2603:10a6:102:21e::16) by PR3PR01MB7971.eurprd01.prod.exchangelabs.com (2603:10a6:102:172::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4219.22; Mon, 28 Jun 2021 10:40:34 +0000 Received: from PAXPR01MB8415.eurprd01.prod.exchangelabs.com ([fe80::fd73:420d:4389:77b1]) by PAXPR01MB8415.eurprd01.prod.exchangelabs.com ([fe80::fd73:420d:4389:77b1%4]) with mapi id 15.20.4264.026; Mon, 28 Jun 2021 10:40:33 +0000 From: Eric S Fraga To: =?utf-8?Q?L=C3=A9o?= Ackermann Subject: Re: Large source block causes org-mode to be unusable Organization: On the Interweb somewhere References: <87o8by2v1q.fsf@ucl.ac.uk> <8735ta2j2d.fsf@ucl.ac.uk> <871r8raea9.fsf@disroot.org> X-Url: http://www.ucl.ac.uk/~ucecesf/ Mail-Followup-To: Org Mode List Date: Mon, 28 Jun 2021 11:40:32 +0100 In-Reply-To: (=?utf-8?Q?=22L=C3=A9o?= Ackermann"'s message of "Sat, 26 Jun 2021 16:10:41 +0200") Message-ID: <87tuli46hr.fsf@ucl.ac.uk> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Originating-IP: [2.29.174.230] X-ClientProxiedBy: LO4P123CA0177.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:18a::20) To PAXPR01MB8415.eurprd01.prod.exchangelabs.com (2603:10a6:102:21e::16) MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 Received: from t3610 (2.29.174.230) by LO4P123CA0177.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:18a::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4264.18 via Frontend Transport; Mon, 28 Jun 2021 10:40:33 +0000 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 2f69f18f-8ad6-4e8b-9c84-08d93a212863 X-MS-TrafficTypeDiagnostic: PR3PR01MB7971: X-Microsoft-Antispam-PRVS: X-MS-Oob-TLC-OOBClassifiers: OLM:8273; X-MS-Exchange-SenderADCheck: 1 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: JeCpCl0JRiCNtzGmNR3iQDl4khPbXNlhK/qW+LtmVexb/b1aB9OAW06ppCtRF2+ATPqB0Ww/l8l4G8skMcjAQnF7vYeix1P8fi8Q1NQw/41d6imAbPwlkzeFNWXB+P51rTQyBKh9q5W2KGUbsxWTw2Hq3iuTQbNKun8V/o5lBkkQ7RjeFEz7SJl3jAUXQgsb2732tINRB2wmH1m7mXSKvHncIHn0hrlU8hiGN/FNEwJlnRU+FE3C4PWBWAA+LzXrkMGFpfK3z5vMv0RQMrf5odALPE+AshT9BoR65RlaoXjMximE6NkD5TSwbugsWOq22LUM+ZCWoN/AF3i2YJuE6q0uSwlkOku0CMaLpXEVk2QOzh9pCn3Ayi2+niURhhOPkydbEevu7cSCUHonWmXMjWkN0W85kEBWFBydfTqbapYdJxdu5iOLT5WYtcalydK7nbXNqqCVtmGW0fvs/TQEz1w2IPsxMsnImT3HiJ8tKRTVtEuF7N8ud1KOvwDiL+uuSqBaIsz83jR6K2jMcf5SIyQR50EuBEgbKYNpzO2KktT4Q5cFU9H9oKphRTQ2cIxT0yYWp/fajLG4yuxbYIizJyaeps/vYrWsHYYB8kFa/RR5jocyBUmvsdgx8DWJQNOOp69jODZupl8QB9qi50wmi9SBGC+PKfGKrAjvdh73dWFfhqj/f/TKLcYSyg+YvWwBI4fqcwwCOqLP2if1kNO7LPfEOcBZI6QVJLj1wE/AM7du+kD/7cJwHB5LcQCg3vXDnQvfvexdF+qmMFR+mj6qNc5bz5JJGf2r/DlTmVAMkwSKIswfaHBXkF0/JWNcNNvj X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:PAXPR01MB8415.eurprd01.prod.exchangelabs.com; PTR:; CAT:NONE; SFS:(4636009)(346002)(136003)(39860400002)(376002)(366004)(396003)(4326008)(956004)(36756003)(6496006)(316002)(786003)(38350700002)(6916009)(2906002)(38100700002)(52116002)(8936002)(26005)(36916002)(8676002)(83380400001)(66476007)(4744005)(478600001)(66556008)(86362001)(186003)(966005)(16526019)(2616005)(5660300002)(66946007)(6486002); DIR:OUT; SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?U3MwdDBVODI2b1V1Y3pSUFAxSFBFaUdETlNzeVFMQWpDdzA2c05USC93Z1Fm?= =?utf-8?B?a1JJdUVTcWpCeDBWaHBQV3BuNnlDSnp5eXRWMTlVaTE2RkwxYitoc3VnUk93?= =?utf-8?B?ZUV4U3h3M1gwdUNKZjNOT2p2MFQxc3lKNUFCMGJYLzhua0hMQ3ppcVZObk9q?= =?utf-8?B?MjQvdXc4RXhOQXFGMUxKdlZiK2gzaVVUNVFXdnlFeCtoeVBkNzRWK1lqSXZE?= =?utf-8?B?VVFEYnBydzBmOEhLRXlQVi9iakphSTZJRFhUbHgwamxINmcrTWZ3QXRKaklv?= =?utf-8?B?bWJyQ0ZPeVNmc0dqbVR5L255eG0rOENUNjhCNnRHY2U4S3JUNWhmNFE2TEFr?= =?utf-8?B?WkhwcCs4THdBNFF4QWxuV0J3NU5kL3o5QjlyeU1SUExJYkU1RUlrQm1LSGdQ?= =?utf-8?B?R3l4Tjhtc0hDTWVVUHRIV1NDSndLKzc3VVByY1AyanV1aG9LS2pWMldNemc0?= =?utf-8?B?ME51ZWVha0lxVThvbXdVbXI2SlVtRUFzNjY3MDBYdkZsYkRvQVN4ODJhUGRE?= =?utf-8?B?ekNVRGtMbmxjbmwybFlYd1ltVVRENm1CODJId1ZyRXZ6NG50ZW45V0NRQXZD?= =?utf-8?B?WGcyQnROSFQxUUdlK2tqN0ZwaHZPVzJMUzF0alBTZTUvcURJTzQ4MzdFRWNL?= =?utf-8?B?ZTR4UmVVdW5OeWRlem90eGFEVWxEUnBOOS9mWmVONU5IZk16SHkxWHh3RVJh?= =?utf-8?B?MyswcGZWazFuL1BTOVVENW83eGNkN1FjVlRrQWxvYXJiYXRTWXhnQlp3Skdx?= =?utf-8?B?MmFHR3ZyUmdFUUtxSnphS3IrSnRQYkhqUG02aEJiU1NWYVcxVkU4N3VEdGFk?= =?utf-8?B?VFhTTkxiRTJmNnoxYk55dFUyQWJJVnE3SWkrL0M1U1laRURWdk9OR2ZLR3hJ?= =?utf-8?B?cWFpN1F1TVFUWE5sQk1XT0l4Q3JzTm9CZ041M3dHU2RWTDZrMy9TUEFkWmdW?= =?utf-8?B?RjRyc1Vxd1ZoRDFGQVZkWXdZMDRIbjFMNDVsMThqWlZmRXlmVDUrbklLdDli?= =?utf-8?B?MkkvSVFoUVhpc2pGbW1EcjFOQ3p0bEt6UkdiWUhwYjFRNW82UzAvdXBzb1pK?= =?utf-8?B?VXNBY291Qkh2NkY5WEI2RG02UXhyaWI1b3ZKbWlLYjJMbVNRNjBScFRjNkVp?= =?utf-8?B?OXpTL1FlOXZNNVNpbzl1VHgvVUMxdTZFMStFMmFDeGlDQnFoVmNVSUJSTTZq?= =?utf-8?B?ajJmcVJCS0hoSzAyUXVNNS9ZaE9QUlg1Q0FlaG80bkt4ek9wb0hqVWl4UEMw?= =?utf-8?B?TXh6WnY2K0FlamVKU0xXVnN1UTlHWGp0Uy8rYTZpTWM4ZTJRVVhPdWZiNko2?= =?utf-8?B?K20wOHBBZ2VFSVc2QjcxUCtjRmZhbHRyYm40MmpmeWdDNVVaWmZTNGdYRUpP?= =?utf-8?B?Vk5Vb1FGam9IaXBndERLWlcyZzZZSXExZHpCS0RYUk5ZRDlOZUh2bmR3WlZD?= =?utf-8?B?YmNHR0ZaTFFIalZTSVdLVm9zRGNkbFllMTFTRVpSc2kzU0NEaWg1ZDh6aVpw?= =?utf-8?B?dkdCMVhNUVRvVVN0UGp3UkJ2RVpxRUhmamI3VmljbzhrbTlRQlRrMGtBVEds?= =?utf-8?B?dTNRNzdYcFZBMmtwSTRDc2lxa2VWYk55a2dxemsyc08zVDE5cGxIbDBkM056?= =?utf-8?B?Ulh0b3R4ZWJtd2w4M0EwYjBiaUMraVA2dHNjQ0NMaSt4QXRUUS9OYjUrR3d6?= =?utf-8?B?TDFHUDM5YlZUR2RnZjVuci9tY3BhZjc0QTF0c3VObDdxUk43eFR2bXo3MVZC?= =?utf-8?Q?8NPq/M5u3co3u+5BYdOhSUlC1JGysNvM7Jy0obh?= X-OriginatorOrg: ucl.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: 2f69f18f-8ad6-4e8b-9c84-08d93a212863 X-MS-Exchange-CrossTenant-AuthSource: PAXPR01MB8415.eurprd01.prod.exchangelabs.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 28 Jun 2021 10:40:33.7276 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 1faf88fe-a998-4c5b-93c9-210a11d9a5c2 X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 87ZUS0EaIl2bxtiS/AXG1ClMp76NM3ipQYaTRyh6zO4YpbhWAWauIP6LLaIBh/5aRqzTLqjxG4KjTmJ6P9xvaQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR3PR01MB7971 Received-SPF: pass client-ip=2a01:111:f400:fe0e::718; envelope-from=e.fraga@ucl.ac.uk; helo=EUR04-VI1-obe.outbound.protection.outlook.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, MSGID_FROM_MTA_HEADER=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-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: , Cc: Org Mode List Errors-To: emacs-orgmode-bounces+larch=yhetil.org@gnu.org Sender: "Emacs-orgmode" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1624877188; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=rysQZ7inehUnc9gIMI6xPVCWQvAwXk2/7Zb49yq1DGM=; b=eH2oPZeyynPb78zJniHo5FVoMPdsRH/EUC92O6kjDnerHYdeWZfV5BkOkQYXOIRL79rHfz 5trv7hVZmydFpCFBZZAHoiZ447xbnLicLWFKBSs1zhz5wMn3UEPDb6z7xFsmJ8kn6JjA8k bA1KjFf90OorhscLISVU/R0DfsmlTCd3k5ri+rzCKDSv/MOAppjp0lKwPc39OnQUn1RPyC Wy9hoydaerKnasfF2NDJC7HZuTWXzv8Qlyi2aQE/9OMmLLETcUgJJAk21vgTHAhg6EfZfo DbdM8XqV/IYCfIQbaEbAnr95gic+kg7WBUn/YhKdls+LdKkr+kAWceSOjjLaLQ== ARC-Seal: i=2; s=key1; d=yhetil.org; t=1624877188; a=rsa-sha256; cv=pass; b=MK4X6ysi1OwoZjWEoMVdeQ9mcl9waBFiUu4ONfh1IIMWLaNeVgE8rBQdt+WBjtw4jkQstV WedGksrqHuVCLGUYxK3hpqWfgHWq+FI+YPom4JUnFYscJZdzNdj8HbzPxX48hVSsnaMaE+ FtkMtvNrzuBcG59wtup2GQCLnKWkf6zFHHiqlkNT5DAY39IPjltgMHeg0iDrs3J2KtFUM8 vJlejVkQWBbVjnCxLkUgy1LgO2XgWIE+oyY3KUON7ibgON8V00/oF0pjQNq0zV4uSguSWZ fh7zwZTfsbQHeQAzI5ZIg41HpGxJ+KLTMvjZN5xtPUmmU+UgVwCzQNgwL0P4Sg== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=ucl.ac.uk header.s=selector1 header.b=ac0cBlF8; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=ucl.ac.uk; 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: -4.12 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=ucl.ac.uk header.s=selector1 header.b=ac0cBlF8; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=ucl.ac.uk; 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: 9FEB012DF0 X-Spam-Score: -4.12 X-Migadu-Scanner: scn1.migadu.com X-TUID: UfhOKMyRn/+W On Saturday, 26 Jun 2021 at 16:10, L=C3=A9o Ackermann wrote: > @EricSFrada, would you mind sharing your code for your proof sections ? > If you've got ideas for this module, or/and want to participate to its > development, please let me know :) I have no code for proofs. Sorry! I was simply illustrating that you can put in LaTeX code directly should special blocks be too large. --=20 : Eric S Fraga via Emacs 28.0.50, Org release_9.4.6-571-gc591be : Latest paper written in org: https://arxiv.org/abs/2106.05096