|
From: | martin rudalics |
Subject: | Re: What is a default font? |
Date: | Thu, 5 Dec 2019 19:24:23 +0100 |
> Why are you bothered by that? Why not (face-font 'default) instead? Is that the default for a new frame? martin
[Prev in Thread] | Current Thread | [Next in Thread] |