Я менял шрифт редактора Alloy-Tool, и он завис. Теперь я не могу запустить его, возвращая это каждый раз, когда я пытаюсь: снимок экрана проблемы
Я также пытался загрузить разные версии сплава, но каждая из них возвращает одно и то жеошибка. Есть ли способ изменить какой-либо файл конфигурации, который они используют при запуске?
Я в Ubuntu 18.04
Я нашел решение: измените этот XML-файл в вашем домашнем каталоге
/.java/.userPrefs/edu/mit/csail/sdg/alloy4/pref.xml
, указав другое имя шрифта в записи
<entry key="FontName" value="FontNameHere"/>
Можете ли вы запустить его из командной строки? Если эта ошибка происходит, она должна показать трассировку исключения. Пожалуйста, сообщите об этом следе на https://github.com/AlloyTools/org.alloytools.alloy/issues