zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
152 stars 22 forks source link

Clicking on derivation history does nothing #174

Closed rossduncan closed 6 years ago

rossduncan commented 6 years ago

I can't reproduce this consistently, but sometimes clicking on the derivation history causes the panel to become unresponsive, dropping the following exceptions in the console:

[error] Exception in thread "AWT-EventQueue-0" java.lang.ArrayIndexOutOfBoundsException
hmillerbakewell commented 6 years ago

Do you have an example derivation where this occurs? The latest build (aimed at #178) may have fixed this for you, but I haven't been able to reproduce it.

rossduncan commented 6 years ago

Hi Hector,

I haven’t been able to reproduce it myself. Seems that the GUI is really flakey at the moment. I spent yesterday afternoon working on some simple derivations and on average I had to restart every 15 mins. Fortunately when it falls over it doesn’t take everything with so you can save your work, but still very annoying.

-r

On 29 Nov 2017, at 16:59, Hector notifications@github.com wrote:

Do you have an example derivation where this occurs? The latest build (aimed at #178) may have fixed this for you, but I haven't been able to reproduce it.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.

hmillerbakewell commented 6 years ago

Are you running from source or from .jar? And could we possibly have the memory capacity and speed of your computer?

rossduncan commented 6 years ago

Hi Hector,

I built from source yesterday.

My CPU is a 1.3GHz Intel Core i5 and it has 8GB of main memory.

-r

On 29 Nov 2017, at 18:06, Hector notifications@github.com wrote:

Are you running from source or from .jar? And could we possibly have the memory capacity and speed of your computer?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.

hmillerbakewell commented 6 years ago

Well that rules out those problems, as that's more powerful than the machine I'm developing on. Your java version is up to date, as is the code. I can't think why you're getting so many more errors than we are. Please keep us up to date if these things keep happening or you get an idea as to what's causing it.

Do your GUI problems only occur when you've been working on a file / derivation for a long time? It's possible it's due to the history storage.

rossduncan commented 6 years ago

HI Hector — only a couple of the derivations I had been working on were longer than a few rules. -r

On 29 Nov 2017, at 18:20, Hector notifications@github.com wrote:

Well that rules out those problems, as that's more powerful than the machine I'm developing on. Your java version is up to date, as is the code. I can't think why you're getting so many more errors than we are. Please keep us up to date if these things keep happening or you get an idea as to what's causing it.

Do your GUI problems only occur when you've been working on a file / derivation for a long time? It's possible it's due to the history storage.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.

hmillerbakewell commented 6 years ago

The UI has been reworked since this bug was reported and this bug cannot be reproduced. Please re-open or create new a new issue if this persists after the next major update (expected before 2018-05-07)