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: Sat, 20 Nov 2021 10:00:18 +0100 Message-ID: <87ilwnryl9.fsf@gnus.org> References: <87bl2hyzca.fsf@gnus.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="5352"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) Cc: Emacs developers To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat Nov 20 10:01:29 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 1moMFT-0001GQ-TX for ged-emacs-devel@m.gmane-mx.org; Sat, 20 Nov 2021 10:01:27 +0100 Original-Received: from localhost ([::1]:60120 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1moMFR-0007LQ-Sk for ged-emacs-devel@m.gmane-mx.org; Sat, 20 Nov 2021 04:01:25 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:37134) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1moMEW-0006ZG-5w for emacs-devel@gnu.org; Sat, 20 Nov 2021 04:00:28 -0500 Original-Received: from [2a01:4f9:2b:f0f::2] (port=59090 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 1moMEU-0000K2-3X for emacs-devel@gnu.org; Sat, 20 Nov 2021 04:00:27 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date: References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding: 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=0mszJs1dL5NOQMSzBiB5Bv766gTScMqLX4xqJzpfQgw=; b=jPQ9k1tVNocm5YLLONWgAjS+Ze S5rZtpHVObkhIoaZESbEncWqfhznsCGdXMjOb2/H1cKF1zyIiPDQw5+JxQtkO64nRqBYJ4XXZjpts eKE0RkM02RC8Z2CXDx8HoPGyHk5GSeeTr2kuqraiut9iAoVGW3L86On5gmg9oP2xEKRo=; 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 1moMEN-0001aU-CV; Sat, 20 Nov 2021 10:00:21 +0100 Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAMAAABg3Am1AAAABGdBTUEAALGPC/xhBQAAACBj SFJNAAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAAM1BMVEUIAgESCQUZEhIv IhxWUVU8PEKtc07Klm64hl6VZU2LUDbbr41tSDPmwKRWMiKGPy/////XM7RvAAAAAWJLR0QQlbIN LAAAAAd0SU1FB+ULEwcHD2WQdCIAAAGESURBVEjHzZbbkoMgDIYlkXCK+P5vu3+03TqzpcSZXmwc tCP5ciJgl+WU8FeW78ode4TBKw0m+fl8mWSKTByZ4xsgrjHSipuNeJrlFRderHzN9vGbYCdGU4km 5u8wHAYR2Ux4RX5GxF+u37+RYKndWE2WlAs7+8lWoqbUWlIfAS1ObdtAdKc+CRwYkJ0xVclp87tY qKuqACjqA0IvTUAUFfXEhCVglaKp1FI9AFcDZM+pM3sAKOfWZEepstJcP6hg0ZBEaXg6sg69gtik 9wpH6sl5L9YXJefkBLRkhI/Fg/RpywbzICJ1x5XnAFqV6wHUUtAivMw7ltQAbAiIkAOAC7Gl2FpK JUyA43xCYYsRSJyXGXBYDNzRsLWqdcbniEyb6DwimUzb3nwGMMjUrfHC44y9KIxSQVB8MTKr04HQ 1O7v7M0vXDhK5T3DnoTb+nnrnp12pSjJiThdhUWT9ekJOCBzMdxrA163NPj20YCQkYv3JcSJ3yS8 ez+Wkm6Wlt8kgT8YP9dSCuh1YiRUAAAAJXRFWHRkYXRlOmNyZWF0ZQAyMDIxLTExLTE5VDA3OjA3 OjE1KzAwOjAw8tFOqQAAACV0RVh0ZGF0ZTptb2RpZnkAMjAyMS0xMS0xOVQwNzowNzoxNSswMDow MIOM9hUAAAAASUVORK5CYII= X-Now-Playing: June Tabor's _Airs and Graces_: "Plains of Waterloo" In-Reply-To: (Stefan Monnier's message of "Fri, 19 Nov 2021 08:58:11 -0500") 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:279795 Archived-At: Stefan Monnier writes: >> And, of course, we could also consider using proportional fonts for the >> non-code prose bits: > > On a docstring like that of `pcase` the result is a bit poor. This bit? --- Each PATTERN expands, in essence, to a predicate to call on EXPVAL. When the return value of that call is non-nil, PATTERN matches. PATTERN can take one of the forms: _ matches anything. \\='VAL matches if EXPVAL is `equal' to VAL. KEYWORD shorthand for \\='KEYWORD INTEGER shorthand for \\='INTEGER ... --- Yes, we have to develop some syntax to mark up tabular data, and Stefan K suggested using the Org syntax, i.e., | _ | matches anything. | \\='VAL | matches if EXPVAL is `equal' to VAL. | KEYWORD | shorthand for \\='KEYWORD | INTEGER | shorthand for \\='INTEGER which seems like a good idea to me. I think the number of doc strings that need this isn't huge, though. > Also, it makes line lengths vary even more; as a result, it ends up > crying for re-filling the text. Especially since, while most lines end > up shorter when displayed with proportional fonts, occasionally some > lines end up longer, causing line-wrapping. (I think we've already covered this bit, but to recap: In practice, it's not a big problem, and to re-fill doc strings, we'd have to rewrite a large number of them, so it's not practical.) > Clearly, we would benefit from a formal markup language (and one which > includes some way to align text into columns). Note that for the column > display, I think we actually need an extension to the current `space` > thingy on the `display` property which is able to align columns even > without the buffer's data telling the redisplay at which precise pixel > position it should be aligned (instead it should just add space until > the columns are visually aligned). Hm... I don't think we need anything new here? The thing that displays the doc string can figure out the pixel positions -- it's what shr does with tables. -- (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no