Alloytools 崩溃并且不再启动
Alloytools crashed and does not start anymore
我正在更改 Alloy-Tool 编辑器的字体，但它崩溃了。现在我无法启动它，return我每次尝试都会这样：screenshot of the problem
我也试过下载不同版本的 alloy 但每个 return 都出现同样的错误。有没有办法修改他们在启动时使用的一些配置文件？
我在 Ubuntu 18.04
你能从命令行 运行 吗？如果发生此错误，它应该显示异常跟踪。请在 https://github.com/AlloyTools/org.alloytools.alloy/issues
上报告此跟踪
我找到了解决办法：
修改主目录下的这个 .xml 文件
/.java/.userPrefs/edu/mit/csail/sdg/alloy4/pref.xml
在条目处使用另一个字体名称
<entry key="FontName" value="FontNameHere"/>
我正在更改 Alloy-Tool 编辑器的字体，但它崩溃了。现在我无法启动它，return我每次尝试都会这样：screenshot of the problem
我也试过下载不同版本的 alloy 但每个 return 都出现同样的错误。有没有办法修改他们在启动时使用的一些配置文件？
我在 Ubuntu 18.04
你能从命令行 运行 吗？如果发生此错误，它应该显示异常跟踪。请在 https://github.com/AlloyTools/org.alloytools.alloy/issues
上报告此跟踪我找到了解决办法： 修改主目录下的这个 .xml 文件
/.java/.userPrefs/edu/mit/csail/sdg/alloy4/pref.xml
在条目处使用另一个字体名称
<entry key="FontName" value="FontNameHere"/>