GUI acting bizzarre in Ubuntu 18

maxvonhippel commented 5 years ago

I built Alloy from source last week per the instructions in the README. I am running:

java version "1.8.0_181"
Java(TM) SE Runtime Environment (build 1.8.0_181-b13)
Java HotSpot(TM) 64-Bit Server VM (build 25.181-b13, mixed mode)

... and my OS is Ubuntu 18.04.1 LTS. My computer is an XPS 13 (2018). When I run Alloy, I have a couple problems with the GUI. Strange black marks cover some of the text, which makes me think possibly I need to install a font or something (reminds me of some errors I've had with malformed Latex in the past). In addition (and this is much less important, so if there's no easy fix for it that's totally fine), my screen resolution is 4K, and the fonts are super small on my screen.

Is there a way I can improve the fonts to be a) not covered up by strange black lines, and/or b) larger and easier to read?

alloy-gui

If this is not currently fixable, I'd be happy to try fixing these bugs as my first contribution to the project. In that case, a point in the right direction or any sort of tips would be very much appreciated :)

Thanks for the help!

pkriens commented 5 years ago

There are some options in the menu to set font size and font families. Did you try to see if they make a difference?

Kind regards,

Peter Kriens

On 21 Sep 2018, at 00:12, Max von Hippel notifications@github.com wrote:

I built Alloy from source last week per the instructions in the README. I am running:

java version "1.8.0_181" Java(TM) SE Runtime Environment (build 1.8.0_181-b13) Java HotSpot(TM) 64-Bit Server VM (build 25.181-b13, mixed mode) ... and my OS is Ubuntu 18.04.1 LTS. My computer is an XPS 13 (2018). When I run Alloy, I have a couple problems with the GUI. Strange black marks cover some of the text, which makes me think possibly I need to install a font or something (reminds me of some errors I've had with malformed Latex in the past). In addition (and this is much less important, so if there's no easy fix for it that's totally fine), my screen resolution is 4K, and the fonts are super small on my screen.

Is there a way I can improve the fonts to be a) not covered up by strange black lines, and/or b) larger and easier to read?

https://user-images.githubusercontent.com/4683443/45849590-60a9ad00-bce7-11e8-8e26-eaf2cf7f5a95.png If this is not currently fixable, I'd be happy to try fixing these bugs as my first contribution to the project. In that case, a point in the right direction or any sort of tips would be very much appreciated :)

Thanks for the help!

— 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/73, or mute the thread https://github.com/notifications/unsubscribe-auth/AAMPLo8VVHWuLIlZITjvUwno8Y4g6NBbks5udBK8gaJpZM4WzFAm.

maxvonhippel commented 5 years ago

Hi @pkriens , thanks for pointing this out! Increasing the font size didn't help with the menu UI font but did help everywhere else, which is good enough for now :)

danielleberre commented 5 years ago

We got the same issue on our lab computers.

The default font for Alloy GUI under Ubuntu 18.04 is Aakar, which looks like the first available font on the system (at least the one appearing first on the font list).

It would probably be better to use a broadly available font by default instead of relying on the first of the system.

pkriens commented 5 years ago

I've created a PR. Added Helvetica when Verdana wasn't there.

danielleberre commented 5 years ago

Thanks. That should solve the problem. It will be much easier for us to work under Linux.