search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
696 stars 124 forks source link

Linux Display & Font issues #119

Closed ocharles closed 1 year ago

ocharles commented 4 years ago

I'm trying to use Alloy from Linux on a 4k monitor. All of the usual options to get HiDPI working don't seem to affect alloy. I've tried:

but there is no change.

This is how my UI currently looks (with a custom set font):

image

Thankfully the most important information is readable, but using the visualiser is hard because I can barely read the layout editor!

image

pkriens commented 4 years ago

Did you try Java 9?

According to https://bugs.openjdk.java.net/browse/JDK-8137571 https://bugs.openjdk.java.net/browse/JDK-8137571 this support was implemented in Java 1.9.

We've not tested Alloy on 1.9 and it does not work on my Mac, but it might be your best bet.

On 14 May 2020, at 14:47, Ollie Charles notifications@github.com wrote:

I'm trying to use Alloy from Linux on a 4k monitor. All of the usual options to get HiDPI working don't seem to affect alloy. I've tried:

Setting GDK_SCALE to 2 Running with -Dsun.java2d.uiScale=2 Running with -Dglass.gtk.uiScale=2 but there is no change.

This is how my UI currently looks (with a custom set font):

https://user-images.githubusercontent.com/20878/81935894-3e198580-95e9-11ea-94f3-6389006b463a.png Thankfully the most important information is readable, but using the visualiser is hard because I can barely read the layout editor!

https://user-images.githubusercontent.com/20878/81936001-630df880-95e9-11ea-9b7f-09ebd4a04010.png — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/AlloyTools/org.alloytools.alloy/issues/119, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABQ6LU7DZUMEN5YGAFYDOTRRPR5NANCNFSM4NAU7J7Q.

MarkoSchuetz commented 3 years ago

I have the same issue. I tried OpenJDK 7, 8, 10, 11, and 14. None of the 3 variants mentioned in the OP has the desired effect. As a work-around I use run_scaled from here https://github.com/kaueraal/run_scaled. It does work somewhat: sometimes the mouse pointer location inside menus is shifted and sometimes the menus do not remain open when the title is clicked. Edit: I just became aware of JetBrains JRE and tried aur/jetbrains-jre 11.0.7b956.18-1: that works at least with integer scaling factors.

pkriens commented 2 years ago

I've designated this as thee primary bug for Linux display issues.

awwx commented 2 years ago

fyi -Dsun.java2d.uiScale=2 is working for me with Alloy 6.1.0, OpenJDK 11.0.12, Ubuntu 21.04

pkriens commented 1 year ago

@ocharles (and others) if you use -Dsun.java2d.uiScale=2, does this work for you?

pkriens commented 1 year ago

Closing because no reply

MarkoSchuetz commented 1 year ago

I can confirm that Java 19 with -Dsun.java2d.uiScale=2 makes menu fonts and icons twice as large. This makes it more usable, however the graphical elements are then quite oversized and take up very much screen real-estate.