From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Kangas Newsgroups: gmane.emacs.devel Subject: Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal] Date: Thu, 6 May 2021 15:21:27 -0500 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4403"; mail-complaints-to="usenet@ciao.gmane.io" Cc: emacs-devel@gnu.org To: rms@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu May 06 22:22:36 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 1lekW4-00012D-EN for ged-emacs-devel@m.gmane-mx.org; Thu, 06 May 2021 22:22:36 +0200 Original-Received: from localhost ([::1]:56522 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lekW3-0003Oo-GD for ged-emacs-devel@m.gmane-mx.org; Thu, 06 May 2021 16:22:35 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:56644) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lekV1-0002bL-Jt for emacs-devel@gnu.org; Thu, 06 May 2021 16:21:31 -0400 Original-Received: from mail-pf1-f174.google.com ([209.85.210.174]:33472) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lekV0-0001S4-7i; Thu, 06 May 2021 16:21:31 -0400 Original-Received: by mail-pf1-f174.google.com with SMTP id h11so6195543pfn.0; Thu, 06 May 2021 13:21:28 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:in-reply-to:references:mime-version:date :message-id:subject:to:cc; bh=cXNX/jHe0Fxg5ynC/4KhGDs4X0eRb5K6kPzPup3mCmg=; b=HWobBxS3gnY/RtVfYnY2m6kgsM5m1yTjIdyDbiP8Kur8seYW9wjyX9T049OcN7LaFg CN0vkm3vBS69rX8BiZMswLDuhhSyfJG4C86LrnN0fmrnrsean6+oP8gL5nPIzN+eZvOH QCScfJ4YMlPI9fjNYHaIh2yplDA822JSeKK0pXuSQz4AOm4CxcaP32TtO2dGO19mXcRj OCOkSMfw9MfjuH2JSvPzpxUwk9wCTgsT8JsU2VcW9FUvh3AvSIBLc8+TwUbAH/wIfRsJ 9r0w9eGnPmmQhzIF9a3LSRHuQgu6zhUtGzrp11swQPN6HNCC2aKRfoHVahbueUVNMUW9 Kb+A== X-Gm-Message-State: AOAM533lK+/uoE4MZMNbCAmpy9l41P2LOcBgnyoEBz91jDdAURdvH4hN volQ0Tp/ufcpbEjswefMEznDAkE0WadNU9ahVxPENKLs X-Google-Smtp-Source: ABdhPJxh+Ach03W0QAtH7G0rUfA1abBRz6yNm4nruU5XpFTVtd3jFQvFW84Yxa21ZmV6mJnoAClnAia6OGfh8iFWxD0= X-Received: by 2002:a62:3344:0:b029:28c:6f0f:cb90 with SMTP id z65-20020a6233440000b029028c6f0fcb90mr6335371pfz.58.1620332487648; Thu, 06 May 2021 13:21:27 -0700 (PDT) Original-Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Thu, 6 May 2021 15:21:27 -0500 In-Reply-To: Received-SPF: pass client-ip=209.85.210.174; envelope-from=stefankangas@gmail.com; helo=mail-pf1-f174.google.com X-Spam_score_int: -13 X-Spam_score: -1.4 X-Spam_bar: - X-Spam_report: (-1.4 / 5.0 requ) BAYES_00=-1.9, FREEMAIL_FORGED_FROMDOMAIN=0.248, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.248, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 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:268988 Archived-At: Stefan Kangas writes: > Richard Stallman writes: > >> I think this change might be appreciated by most users, but perhaps we >> should accompany it by an self-evident graphic UI for changing the >> setting. > > Adding it to the "Options" menu, perhaps? > > Maybe that could be a good idea whether or not we change anything else? I'm looking into adding this to the options menu, but would we want to do this for the current buffer, globally, or both? My current thinking is that a user might want both, but this would make the menu too messy. So perhaps we can get away with only supporting a global setting from the menu. That should be the most common use-case, and if a user needs even more customization they will have to do it "manually".