Alexandre Flament d1c09c84e2 [fix] simple theme: disable hotkeys when they are not enabled in the preferences		2021-11-05 12:42:44 +01:00
..
00_init.js	[fix] simple theme: disable hotkeys when they are not enabled in the preferences	2021-11-05 12:42:44 +01:00