Fix type lints in editor

This commit is contained in:
ochafik 2024-12-31 17:53:45 +00:00 • committed by Olivier Chafik
commit e087b87c19
19 changed files with 75 additions and 77 deletions

View file

@ -1,6 +1,6 @@
// Portions of this file are Copyright 2021 Google LLC, and licensed under GPL2+. See COPYING.
import { Source } from "./state/app-state";
import { Source } from "./state/app-state.ts";
export function mapObject(o: any, f: (key: string, value: any) => any, ifPred: (key: string) => boolean) {
const ret = [];