[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#39783] [PATCH] gnu: gsettings-desktop-schemas: patch monospace font
From: |
Leo Prikler |
Subject: |
[bug#39783] [PATCH] gnu: gsettings-desktop-schemas: patch monospace font. |
Date: |
Sun, 15 Mar 2020 14:41:26 +0100 |
User-agent: |
Evolution 3.32.4 |
It appears this has fallen under the radar.
To perhaps clarify the intent of this patch, it fixes the bug, where
GNOME Terminal and other stuff that relies on the Monospace font being
defined appears quite ugly with the default settings.
Regards,
Leo
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug#39783] [PATCH] gnu: gsettings-desktop-schemas: patch monospace font.,
Leo Prikler <=