Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2020-RC1 --- default font size on Linux

view this post on Zulip Email Gateway (Aug 23 2022 at 08:33):

From: Makarius <makarius@sketis.net>
That should be a Linux-only problem, since Windows and macOS have a default
scale factor for application fonts --- or rather I hope so.

I will reconsider default properties for the Linux app bundle, see
https://isabelle-dev.sketis.net/T18

Makarius

view this post on Zulip Email Gateway (Aug 23 2022 at 08:39):

From: Makarius <makarius@sketis.net>
See now
https://isabelle-dev.sketis.net/rISABELLEe76692ec6e5

Makarius

Last updated: Nov 21 2024 at 12:39 UTC