alloy - Alloytools 崩溃并且不再启动

我正在更改 Alloy-Tool 编辑器的字体，但它崩溃了。现在我无法启动它，每次尝试时都会返回：问题截图

我也尝试下载不同版本的合金，但每个版本都返回相同的错误。有没有办法修改他们在启动时使用的一些配置文件？

我在 Ubuntu 18.04

标签： alloy

我找到了解决方案：修改你的主目录下的这个 .xml 文件

/.java/.userPrefs/edu/mit/csail/sdg/alloy4/pref.xml

在入口处使用另一个字体名称

<entry key="FontName" value="FontNameHere"/>