Stephan Richter 9eb8f5443a now using space key for emergency: ...

* it is larger and easier to hit!
* ESC is used to quit newly introduced full-screen mode

2020-11-13 11:54:32 +01:00

..

css

now using space key for emergency:

2020-11-13 11:54:32 +01:00

js

now using space key for emergency:

2020-11-13 11:54:32 +01:00

svg

UI work

2020-11-07 18:29:37 +01:00

translations

UI work

2020-11-13 01:28:47 +01:00

logback.xml

bugfixes

2020-11-13 01:28:52 +01:00