|
| 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] |