You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Java:
java version "21.0.1" 2023-10-17 LTS
Java(TM) SE Runtime Environment (build 21.0.1+12-LTS-29)
Java HotSpot(TM) 64-Bit Server VM (build 21.0.1+12-LTS-29, mixed mode, sharing)
Alloy Analyser:
6.1.0 built 2021-11-03T15:25:43.736Z
When using the aakar font (which was set as default when I first executed the jar on my computer) the letter "d" will have vertical stripes that stretch across multiple lines.
This problem is easily solved by selecting another font in "options". Maybe the Analyser could start with another font selected by default?
Text in the editor (when aakar is activated) looks like this:
The text was updated successfully, but these errors were encountered:
OS:
Ubuntu, Jammy Jellyfish
Java:
java version "21.0.1" 2023-10-17 LTS
Java(TM) SE Runtime Environment (build 21.0.1+12-LTS-29)
Java HotSpot(TM) 64-Bit Server VM (build 21.0.1+12-LTS-29, mixed mode, sharing)
Alloy Analyser:
6.1.0 built 2021-11-03T15:25:43.736Z
When using the aakar font (which was set as default when I first executed the jar on my computer) the letter "d" will have vertical stripes that stretch across multiple lines.
This problem is easily solved by selecting another font in "options". Maybe the Analyser could start with another font selected by default?
Text in the editor (when aakar is activated) looks like this:
The text was updated successfully, but these errors were encountered: