From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Lars Ingebrigtsen Newsgroups: gmane.emacs.devel Subject: Re: Tick Reduction Date: Fri, 19 Nov 2021 06:48:36 +0100 Message-ID: <87h7c8y9u3.fsf@gnus.org> References: <87bl2hyzca.fsf@gnus.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="7253"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) To: Emacs developers Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri Nov 19 06:50:05 2021 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mnwmg-0001Zq-C1 for ged-emacs-devel@m.gmane-mx.org; Fri, 19 Nov 2021 06:50:02 +0100 Original-Received: from localhost ([::1]:36238 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mnwme-0006cM-Et for ged-emacs-devel@m.gmane-mx.org; Fri, 19 Nov 2021 00:50:00 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:41236) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mnwlT-0005Vz-3P for emacs-devel@gnu.org; Fri, 19 Nov 2021 00:48:47 -0500 Original-Received: from [2a01:4f9:2b:f0f::2] (port=46144 helo=quimby.gnus.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mnwlR-0000Uf-55 for emacs-devel@gnu.org; Fri, 19 Nov 2021 00:48:46 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Transfer-Encoding:Content-Type:MIME-Version:Message-ID :In-Reply-To:Date:References:Subject:To:From:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=jHhbnK1ZOdfqHy1eZ2U6ikU9TBwB+OhE72WYKTR8cdY=; b=poGHrUQo1v3BsqvCYX72IyJm+G wqmn7v/6MxCylhr0/R2R4xGUMVVvkIIpdWaYn5icvGzuH7ph5RLBVXqYWwPf2Acqu7/Y8/NcBOOeR iLlOAfWvhJWa1fFf+CysPvXnxZmPJZMQLBOLx0yJP5UYDu/3y1OeIPLGYO2ExQpEjZwk=; Original-Received: from [84.212.220.105] (helo=xo) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mnwlL-0007XB-C1 for emacs-devel@gnu.org; Fri, 19 Nov 2021 06:48:42 +0100 Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAABGdBTUEAALGPC/xhBQAAACBj SFJNAAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAAD1BMVEXNy7idjXWOc1xO TEX///914w1+AAAAAWJLR0QEj2jZUQAAAAd0SU1FB+ULEwUZLv48j80AAAG5SURBVDjLbZSLlcQg CEVFGxBtQLABlf57W0DNZmbX44lO7vDxCQnh/4G/WyiM+S+ALjZW/gIgd+QH+E7ki0AA0CVJIZsi vOgAm5lrWqJTyqQKB+iYvcCUqBZZZk9v0JK4xQQF44I2+0iyIjNLo5rkABhqEYUjYuGFCsYGacyK +ndAHeUFeIxS9a2lDqiuZtvpCi31oEBPi0il0CQFmOy4TFckKKratF017Z73JhNjt9VkdcGBnWI/ grknPAK7L13H+U24XZrzT5DNkqqbWPQVQvTYpvw0OE6QA9xTs8d8QDnAvSR7epAvEC1RB9mBZeun BeG2QdvAkrLrCUzjAt4Atj4q4j3IA8yCKOM+yAtQ8Tp7wAkOUqdrWN5A042rwwHwCWYPb9CuJIX4 VvM54BHxLziysye1y5xdKwecudXnzre64V8wbzEEaTVb9eWt94BTPiDNizy0DRr45Wj1CyUzjw2y 3xPs6BQVWDHVrHVttQA7ei6dium7VHg0QWDXKJa+0FIhBdry2ftcm0nbYjUFgFmljOt8ABQw8i+w nL0H0wJtPzwAX5+MBn0Rdo2RP4FJTOC1n3E3Q/kBONRhSgbGTwQAAAAldEVYdGRhdGU6Y3JlYXRl ADIwMjEtMTEtMTlUMDU6MjU6NDYrMDA6MDC3HIbnAAAAJXRFWHRkYXRlOm1vZGlmeQAyMDIxLTEx LTE5VDA1OjI1OjQ2KzAwOjAwxkE+WwAAAABJRU5ErkJggg== X-Now-Playing: Judee Sill's _Abracadabra: The Asylum Years (1)_: "My Man On Love" In-Reply-To: <87bl2hyzca.fsf@gnus.org> (Lars Ingebrigtsen's message of "Thu, 18 Nov 2021 21:37:41 +0100") X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a01:4f9:2b:f0f::2 (failed) Received-SPF: pass client-ip=2a01:4f9:2b:f0f::2; envelope-from=larsi@gnus.org; helo=quimby.gnus.org X-Spam_score_int: -35 X-Spam_score: -3.6 X-Spam_bar: --- X-Spam_report: (-3.6 / 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, RCVD_IN_DNSWL_MED=-2.3, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:279709 Archived-At: Lars Ingebrigtsen writes: > And, of course, we could also consider using proportional fonts for the > non-code prose bits: I forgot to mention how that'd work: It's pretty easy to identify Lisp snippets in doc strings -- they're either in `' pairs or they're paragraphs of texts that start with ; or (, so we can identify them pretty reliably automatically. So I think we'd get 93% there without altering any doc strings. We'd need to add a directive (like we did with literal ticks with \\=3D' etc) to mark out sections that should not have a proportional font for bits where the automatic algo mis-guesses, like when you have non-Lisp tables in the doc strings. Those are pretty rare, though. The most challenging bits are doc strings that are written in a semi-columnar fashion, like -------- Generate a PostScript syntactic chart image of the region in an EPS file. Generate an EPS file for each production in the region. The EPS file name has the following form: .eps is given by variable =E2=80=98ebnf-eps-prefix=E2=80=99. The default value is "ebnf--". is the production name. Some characters in the production file name are replaced to produce a valid file name. For example, the production name "A/B + C" is modified to produce "A_B_+_C", and the EPS file name used in this case will be "ebnf--A_B_+_C.eps". WARNING: This function does *NOT* ask any confirmation to override existing files. -------- Fortunately, we have some pretty good guesses in the filling machinery for these cases, and we could reuse that code here to identify these bits and then use `align-to' to align this stuff up. --=20 (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no