nomeata / incredible

The Incredible Proof Machine
MIT License
360 stars 36 forks source link

Issues using Safari #72

Closed michaelgwelch closed 4 years ago

michaelgwelch commented 8 years ago

I'm using Safari 9 on OS X 10.11.2

I've noticed issues using Safari but til now I could work around.

  1. When starting a proof the "proof window" is empty. Dragging any proof rule onto the surface of the proof window forces a redraw and then the assumptions and consequence become visible. This has been my work around.
  2. Can't create a custom block. This I couldn't work around. Switched to Firefox to accomplish. Basically, you can't multi-select. If I shift click on a block the proof window becomes non-responsive. To make it responsive again, I need to drag a new symbol on to the proof. At this point the original block is no longer selected. So no progress can be made in multi-selecting.

I assume the developers don't use Safari so I don't know how much attention this will get. I raise it to your attention in case anyone has a Mac and wants to take a crack at this. My web skills are limited. Not sure I could figure it out.

There are errors in the javascript console on page load. Perhaps these contribute to the problem.

Can't figure out how to copy/paste entire error. I'll summarize

michaelgwelch commented 8 years ago

Please ignore the first javascript error. Now that I look closely it's related to an extension I have loaded from Evernote.

nomeata commented 8 years ago

I doubt that the java script errors are related; they would break more. It’s probably just non-portable JavaScript code written be me.

I’m happy to take hints or patches, but I’m unable to work it out myself, due to lack of Safari browser.

michaelgwelch commented 8 years ago

Understood. I'll investigate further and see if I can learn more.

nomeata commented 8 years ago

Thanks!

michaelgwelch commented 4 years ago

Just noticed this old issue. I've been using Safari lately without issue, so I'll close this.

nomeata commented 4 years ago

Thanks!