From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#20628: 25.0.50; Incorrect line height for some fonts Date: Fri, 22 May 2015 22:35:13 +0300 Message-ID: <831ti84d8u.fsf@gnu.org> 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> Reply-To: Eli Zaretskii 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 1432323387 11725 80.91.229.3 (22 May 2015 19:36:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 22 May 2015 19:36:27 +0000 (UTC) Cc: ohwoeowho@gmail.com, 20628@debbugs.gnu.org To: =?UTF-8?Q?Cl=C3=A9ment?= Pit--Claudel Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri May 22 21:36:16 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 1Yvsjr-00035h-6Q for geb-bug-gnu-emacs@m.gmane.org; Fri, 22 May 2015 21:36:11 +0200 Original-Received: from localhost ([::1]:35525 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Yvsjq-0006bV-C2 for geb-bug-gnu-emacs@m.gmane.org; Fri, 22 May 2015 15:36:10 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42296) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Yvsjm-0006bQ-JO for bug-gnu-emacs@gnu.org; Fri, 22 May 2015 15:36:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Yvsjj-0007O7-8T for bug-gnu-emacs@gnu.org; Fri, 22 May 2015 15:36:06 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:43225) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Yvsjj-0007O1-56 for bug-gnu-emacs@gnu.org; Fri, 22 May 2015 15:36:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1Yvsji-0002rW-Lt for bug-gnu-emacs@gnu.org; Fri, 22 May 2015 15:36:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 22 May 2015 19:36:02 +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.143232332610960 (code B ref 20628); Fri, 22 May 2015 19:36:02 +0000 Original-Received: (at 20628) by debbugs.gnu.org; 22 May 2015 19:35:26 +0000 Original-Received: from localhost ([127.0.0.1]:53200 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Yvsj8-0002qg-0F for submit@debbugs.gnu.org; Fri, 22 May 2015 15:35:26 -0400 Original-Received: from mtaout22.012.net.il ([80.179.55.172]:40339) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Yvsj3-0002qR-Ar for 20628@debbugs.gnu.org; Fri, 22 May 2015 15:35:22 -0400 Original-Received: from conversion-daemon.a-mtaout22.012.net.il by a-mtaout22.012.net.il (HyperSendmail v2007.08) id <0NOR00I00MUGSV00@a-mtaout22.012.net.il> for 20628@debbugs.gnu.org; Fri, 22 May 2015 22:35:14 +0300 (IDT) Original-Received: from HOME-C4E4A596F7 ([87.69.4.28]) by a-mtaout22.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0NOR00IGFNQQT710@a-mtaout22.012.net.il>; Fri, 22 May 2015 22:35:14 +0300 (IDT) In-reply-to: <555F7D7C.8070503@live.com> X-012-Sender: halo1@inter.net.il 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:103063 Archived-At: > 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. > 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? > > (...) > >> Is it possible for Emacs to do so by default? > > > > You mean, have the default fontset set up to avoid the problem? The > > difficulty with that is that the fonts we'd need to put into the > > default fontset are not free, and there's an understandable reluctance > > to advertise them. > > Symbola (in package ttf-ancient-fonts in Debian) actually seems to have good coverage for the kind of math symbols that triggers fallback to TeX fonts. Yes, and there are others (I mentioned them in my other message).