search

dionyziz / Automata

An editor for deterministic finite automata
http://automata.discrete.gr
51 stars 12 forks source link

Update editor.js #34

Closed kameranis closed 10 years ago

kameranis commented 10 years ago

line 645. Hope it works. It ain't fancy

kameranis commented 10 years ago

Added the dialogbox and overlay in index.html Added the relevant code in style.css for the overlay and dialog Added the the Alert code in editor.js

dionyziz commented 10 years ago

Is this superseded by #35? If so, please close.

kameranis commented 10 years ago

Yes, it does.

2014-06-26 10:43 GMT+03:00 Dionysis Zindros notifications@github.com:

Is this superseded by #35 https://github.com/dionyziz/Automata/pull/35? If so, please close.

— Reply to this email directly or view it on GitHub https://github.com/dionyziz/Automata/pull/34#issuecomment-47196633.