Automata

Automata copied to clipboard

How to reproduce the bug: 1. Go to http://automata.discrete.gr 2. Move the mouse cursor outside the automaton editor window 3. Go to http://automata.discrete.gr/#v70. Nothing happens visually. 4. Move the mouse...

DmitryMyadzelets

Double clicking on an edge's label should edit it

1

dionyziz

Add undo ability

1

dionyziz

Introduce copy/paste functionality

1

When selecting multiple nodes, Ctrl+C (Cmd+C on Mac) should copy them and Ctrl+V (Cmd+V on Mac) should paste new ones that are of the same topology.

dionyziz

Retina icons

1

Some icons need to be upgraded to retina resolution.

dionyziz

Reloading the page currently makes you lose your automaton unless you've used the share link. This is a usual situation, especially on the mac where the delete key and backspace...

dionyziz

We 've got some trouble with UX: - Creating an automaton from scratch and deleting the existing one - Selecting and deleting many states at once - Creating and moving...

vagoum

Looks horrible sometimes

4

If you close the tab you've opened Automata on, open a new one and go to Automata, it looks shitty like this. 

gtklocker

Add help/shortcuts button

2

You should add a help button which shows the available keyboard shortcuts (or add them as buttons on the toolbar). At the moment it's practically impossible for a new user...

vgerak

When running, the runner may overlap the automaton. Resize the automaton so that it is fully visible while running. Depends #18

dionyziz