remove largely unused debug class

2021-07-04 21:05:46 -04:00 · 2021-07-04 21:05:46 -04:00 · 6337cae736
commit 6337cae736
parent 52b19ff04f
15 changed files with 30 additions and 281 deletions
--- a/web/kiri/lang/en.js
+++ b/web/kiri/lang/en.js
@ -203,7 +203,7 @@ kiri.lang['en-us'] = {
    op_dang_s:      "experimental",
    op_dang_l:      "show experimental parameters",
    op_devl_s:      "developer",
-    op_devl_l:      "show developer options",
+    op_devl_l:      ["show developer options","enable developer debugging"],
    op_hopo_s:      "hover pop",
    op_hopo_l:      ["enable menu hover","to activate"],
    op_dark_s:      "dark mode",