From 6d72f9e2979bcd811c9ffa826929c7a3ec19ff57 Mon Sep 17 00:00:00 2001 From: Shougo Matsushita Date: Mon, 3 Jul 2023 14:12:18 +0900 Subject: [PATCH] Partial is better --- denops/ddu/types.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/denops/ddu/types.ts b/denops/ddu/types.ts index 78c5c71..4ae37d5 100644 --- a/denops/ddu/types.ts +++ b/denops/ddu/types.ts @@ -57,13 +57,13 @@ export type Custom = { export type UserSource = { name: SourceName; options?: Partial; - params?: BaseSourceParams; + params?: Partial; }; export type UserFilter = FilterName | { name: FilterName; options?: Partial; - params?: BaseFilterParams; + params?: Partial; }; export type SourceInfo = {