У меня Alloy 5.1.0 работает в JRE 1.8.0 на MacOS 10.14.6 Я загрузил предварительно созданный dmg, но я видел такое же поведение после создания копии исходного репозитория. что курсор в панели редактора иногда исчезает. Иногда, если я перемещаюсь с помощью клавиш курсора, линии и столбцы в строке состояния внизу обновляются, как я и ожидал, но курсор не виден, а другие нажатия клавиш, такие как splat-V, не регистрируются. То есть в буфер не вставляются никакие символы. Иногда строка состояния не обновляется. Если я укажу на панель с помощью мыши, номера строк и столбцов изменятся, но курсор останется невидимым. Я также могу провести мышью и увидеть выделение, но нажатия клавиш не регистрируются.
Я видел предыдущий отчет о странном поведении редактора, и действительно, моя проблема, казалось, возникала реже после изменения шрифта на Menlo, но это не исчезло. Я не смог распознать какие-либо закономерности в том, что вызывает такое поведение в редакторе, или в том, что заставляет его временно go исчезнуть.
Кто-нибудь еще это видел? Знаете исправление?
Также повышено на https://github.com/AlloyTools/org.alloytools.alloy/issues/116