JannisX11 c0adfdb484 Convert "Open Dev Tools" to action ...

Fix CSS issue with keybind labels in menus
Allow chars in keybind constructor

2020-10-17 21:54:08 +02:00

..

actions.js

Convert "Open Dev Tools" to action

2020-10-17 21:54:08 +02:00

dialog.js

Small interface fixes

2020-09-30 17:29:13 +02:00

interface.js

Bottom panel selector on mobile devices

2020-10-11 16:54:52 +02:00

keyboard.js

Convert "Open Dev Tools" to action

2020-10-17 21:54:08 +02:00

language.js

v3.5.1

2020-04-27 11:16:52 +02:00

menu.js

Convert "Open Dev Tools" to action

2020-10-17 21:54:08 +02:00

panels.js

Merge branch 'ik' into 3.7

2020-10-15 22:23:37 +02:00

settings.js

Motion trail setting

2020-10-10 15:17:43 +02:00

themes.js

Fix code indentation

2020-10-04 23:44:06 +02:00