texmacs-users - [TeXmacs] DPI settings for TeXmacs

Subject: mailing-list for TeXmacs Users

List archive

[TeXmacs] DPI settings for TeXmacs

From: Frank <address@hidden>
To: TeXmacs <address@hidden>
Subject: [TeXmacs] DPI settings for TeXmacs
Date: Thu, 8 Oct 2020 21:57:37 +0200

Hi all,

I see that I can double DPI in View->High resolution screen settings (OS: Linux). I wonder whether we have finer controls. In my case, I want to set 1.5x, instead of 2x, which will be much better suited.

Best wishes,

Frank

[TeXmacs] DPI settings for TeXmacs, Frank, 10/08/2020
- Re: [TeXmacs] DPI settings for TeXmacs, TeXmacs, 10/09/2020

List archive

[TeXmacs] DPI settings for TeXmacs