From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel Newsgroups: gmane.emacs.bugs Subject: bug#20628: 25.0.50; Incorrect line height for some fonts Date: Fri, 22 May 2015 16:25:05 -0400 Message-ID: <555F90A1.9080001@live.com> References: <555E9C2E.8040008@live.com> <83617l5aox.fsf@gnu.org> <87pp5s2a77.fsf@gmail.com> <83wq004x2w.fsf@gnu.org> <83twv44vd3.fsf@gnu.org> <87egm87ny6.fsf@gmail.com> <83oalc4syu.fsf@gnu.org> <87617k7m5u.fsf@gmail.com> <83mw0w4seb.fsf@gnu.org> <87zj4w66ds.fsf@gmail.com> <83lhgg4qhf.fsf@gnu.org> <87iobk64e6.fsf@gmail.com> <83h9r44o63.fsf@gnu.org> <87pp5sy4vu.fsf@gmail.com> <83egm84mj3.fsf@gnu.org> <87617k6127.fsf@gmail.com> <83d21s4lpx.fsf@gnu.org> <87twv44lnc.fsf@gmail.com> <83bnhc4gx4.fsf@gnu.org> <555F7D7C.8070503@live.com> <831ti84d8u.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1432326382 28155 80.91.229.3 (22 May 2015 20:26:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 22 May 2015 20:26:22 +0000 (UTC) Cc: ohwoeowho@gmail.com, 20628@debbugs.gnu.org To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri May 22 22:26:12 2015 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YvtWF-0002AP-RJ for geb-bug-gnu-emacs@m.gmane.org; Fri, 22 May 2015 22:26:11 +0200 Original-Received: from localhost ([::1]:35850 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YvtWF-0000Mo-2V for geb-bug-gnu-emacs@m.gmane.org; Fri, 22 May 2015 16:26:11 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:55558) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YvtWB-0000Mj-Gj for bug-gnu-emacs@gnu.org; Fri, 22 May 2015 16:26:08 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YvtW8-0005bW-2T for bug-gnu-emacs@gnu.org; Fri, 22 May 2015 16:26:07 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:43267) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YvtW8-0005bS-04 for bug-gnu-emacs@gnu.org; Fri, 22 May 2015 16:26:04 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1YvtW7-000418-8s for bug-gnu-emacs@gnu.org; Fri, 22 May 2015 16:26:03 -0400 X-Loop: help-debbugs@gnu.org Resent-From: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 22 May 2015 20:26:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 20628 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 20628-submit@debbugs.gnu.org id=B20628.143232632515392 (code B ref 20628); Fri, 22 May 2015 20:26:03 +0000 Original-Received: (at 20628) by debbugs.gnu.org; 22 May 2015 20:25:25 +0000 Original-Received: from localhost ([127.0.0.1]:53242 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YvtVT-000408-LB for submit@debbugs.gnu.org; Fri, 22 May 2015 16:25:24 -0400 Original-Received: from mout.kundenserver.de ([212.227.17.24]:58506) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1YvtVP-0003zt-82 for 20628@debbugs.gnu.org; Fri, 22 May 2015 16:25:21 -0400 Original-Received: from [128.30.9.221] ([128.30.9.221]) by mrelayeu.kundenserver.de (mreue103) with ESMTPSA (Nemesis) id 0LfY1R-1ZWuD84BNR-00p8TF; Fri, 22 May 2015 22:25:12 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 In-Reply-To: <831ti84d8u.fsf@gnu.org> X-Provags-ID: V03:K0:XRPGp9qA1YNgLuVxMhN/xytcZj06Q+zulpLirQhRNiBrdilNaTK EmkxjkTkAjsn8nvvoAPouR+bKrKGA/VZvXbGM7Cj6/h/ggPFGT/+CBI92oMld+qnq5wWrba ZkiRN0KGsS1RHrjmkMyf7gvN963xlh616I0GLHfkv8GvM+D8h5p1FPsG2cxn5XP8oJSV70f MIERD1JdsUzs3bTjw6jFQ== X-UI-Out-Filterresults: notjunk:1; X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:103068 Archived-At: On 05/22/2015 03:35 PM, Eli Zaretskii wrote: >> Date: Fri, 22 May 2015 15:03:24 -0400 >> From: Clément Pit--Claudel >> >> CC: 20628@debbugs.gnu.org >> >> I believe you have something like the following line in mind: >> >> (set-fontset-font fontset 'unicode (font-spec :name "Symbola") nil 'append) > > That's too radical. You could be more selective, e.g.: > > (set-fontset-font "fontset-default" > '(#x1d400 . #x1d7ff) > "Symbola") > > That's because you may wish using other fonts for other Unicode > blocks. Note that I added the 'append parameter at the end of that line, so if it is executed last (and if I understand correctly!) then it should not override any other preferences. >> Indeed, this fixes the problem. Unfortunately, this problem makes it hard for package developers to make use of prettify-symbols-mode. Indeed, programming languages like Agda or Gallina (Coq) would gain a lot from heavy prettification, but since the default fallback font tends to be one of these badly behaved TeX fonts, users of Adga and Coq packages will often run into this problem if we enable prettification by default at the package level the package level. IOW, it's currently hard to come up with a workaround that does not involve user intervention at the moment. > > Couldn't those package developers recommend fontset settings, of even > include ready-to-use .emacs snippets as part of the package? Indeed. In fact, that's what I already do with company-coq ( https://github.com/cpitclaudel/company-coq/#troubleshooting ). However, people are still reporting this as a bug. I am not sure what I can do as a package developer to make it work "out of the box". An option to override the line height would be helpful, since I could do it at the package level; advanced users could then tweak things further (eg. by installing better fonts), but basic users would still benefit from decent defaults. This is particularly relevant in the Coq case, since Emacs (as part of the Proof General package) is one of the main IDEs for Coq, and a number of users have no experience with Emacs when they start using it. Clément.