Merge branch 'dev' into newDevTools

This commit is contained in:
sadan4 2024-09-17 17:20:05 -04:00 committed by GitHub
commit 4fb86d8430
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 119 additions and 25 deletions

View file

@ -72,6 +72,11 @@ export interface Menu {
onChange(value: number): void,
renderValue?(value: number): string,
}>;
MenuSearchControl: RC<{
query: string
onChange(query: string): void;
placeholder?: string;
}>;
}
export interface ContextMenuApi {