Editor too slow - Githubissues

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Other

709 stars 124 forks source link

Editor too slow #60

Closed roehst closed 6 years ago

roehst commented 6 years ago

Hi, the Alloy GUI gets really slow on my computer.

How can I help solve it? I have little knowledge of debugging/profiling Java UI code.

I run ubuntu 16 with the gnome desktop manager.

sorawee commented 6 years ago

Do you happen to open the visualizer (the dialog that shows an instance)? This might be related to #40. Try closing the visualizer and see if the performance improves.

roehst commented 6 years ago

yes, with the visualizer open. i will close this in favor of #40.