Exodus4D 77f1f4c72e - new "keyboard shortcuts", closed #456 ...

- new "shortcuts" dialog

2017-03-11 13:05:28 +01:00

..

app

- new "keyboard shortcuts", closed #456

2017-03-11 13:05:28 +01:00

lib

- fixed some "rubber banding" problems with system position (new "update queue" system for maps, JS)

2017-02-25 16:18:24 +01:00

app.js

- fixed some "rubber banding" problems with system position (new "update queue" system for maps, JS)

2017-02-25 16:18:24 +01:00