From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?UTF-8?Q?G=C3=A1bor_Boskovits?= Subject: Re: GNOME Terminal: Horrible font after guix system reconfigure Date: Thu, 13 Feb 2020 22:46:43 +0100 Message-ID: References: <16f87b97c70.b1a5e48e48152.4966096921865190473@zoho.com> <87zhdnucuc.fsf@gnu.org> <875zgb1hu0.fsf@cbaines.net> <1703fbe1598.fc31cb4f52655.4331615338880896571@zoho.com> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:33183) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j2MK4-000872-ES for help-guix@gnu.org; Thu, 13 Feb 2020 16:47:02 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j2MK2-000430-UL for help-guix@gnu.org; Thu, 13 Feb 2020 16:47:00 -0500 Received: from mail-ed1-x532.google.com ([2a00:1450:4864:20::532]:41854) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1j2MK2-0003tr-Kk for help-guix@gnu.org; Thu, 13 Feb 2020 16:46:58 -0500 Received: by mail-ed1-x532.google.com with SMTP id c26so8676316eds.8 for ; Thu, 13 Feb 2020 13:46:58 -0800 (PST) In-Reply-To: <1703fbe1598.fc31cb4f52655.4331615338880896571@zoho.com> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane-mx.org@gnu.org Sender: "Help-Guix" To: sirgazil Cc: help-guix Hello, sirgazil ezt =C3=ADrta (id=C5=91pont: 2020. febr. 13., = Cs=C3=BC 19:09): > ---- On Wed, 12 Feb 2020 23:26:22 -0500 G=C3=A1bor Boskovits < > boskovits@gmail.com> wrote ---- > > Hello, > > > > Christopher Baines ezt =C3=ADrta (id=C5=91pont: 202= 0. febr. > 13., > > Cs=C3=BC 0:55): > > > > > > > > Ludovic Court=C3=A8s writes: > > > > > > > Hello! > > > > > > > > sirgazil skribis: > > > > > > > >> I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I > noticed > > > that the font is too big and the spacing between characters seems od= d: > > > >> > > > >> > > > > https://multimedialib.files.wordpress.com/2020/01/terminal-font-problem-2= 020-01-08.png > > > >> > > > >> Maybe there is a bug with the defaults (at least with the spacing= )? > > > > > > > > This problem still shows up in =E2=80=98guix system vm=E2=80=99, s= o it=E2=80=99s not > related to > > > > state. > > > > > > > > Any idea how to fix it? > > > > > > I think I encountered this, I "fixed" it by going in to the Tweaks a= pp > > > and selecting some fonts where previously I think some options didn'= t > > > have a font selected. > > > > > Same thing here. It would be nice if we could somehow manipulate these > > setting from a script/dotfile, but I did not go deep into finding out > how > > that work. Anyone has any idea if that is supported? > > But whose setting is not properly set? GNOME Terminal, GNOME, ...? :) > > As far as I understand, GNOME applications use GSettings for application > settings and gschema XML files ( > https://developer.gnome.org/gio/stable/GSettings.html). > > GNOME Terminal, for example, comes with a gschema XML file which defines > default values: > > > https://gitlab.gnome.org/GNOME/gnome-terminal/blob/gnome-3-32/src/org.gno= me.Terminal.gschema.xml > > By default, the application seems to be set to use the system monospace > font. So why is it that the font value in the default GNOME Terminal > profile is not set. I don't remember if it appears empty or set to "None > 10". > IIRC the horrible look and spacing was exactly because monospace was selected, so I believe in my case the default was picked up, but it looked very bad. Maybe we should just provide sensible defaults. Best regards, g_bor >