TS complete

2020-04-13 10:04:19 -05:00
parent 3d955e4b7d
commit 7ee9610dca
29 changed files with 351 additions and 435 deletions
--- a/app/assets/javascripts/controllers/editor.ts
+++ b/app/assets/javascripts/controllers/editor.ts
@@ -956,7 +956,7 @@ class EditorCtrl extends PureCtrl {
    }
  }

-  async toggleWebPrefKey(key: string) {
+  async toggleWebPrefKey(key: WebPrefKey) {
    (this as any)[key] = !(this as any)[key];
    this.application.getPrefsService().setUserPrefValue(
      key,