BetterSettings: Add submenu for plugins (#2858)

Co-authored-by: Vendicated <vendicated@riseup.net>
This commit is contained in:
Kyuuhachi 2024-09-17 17:40:11 +02:00 committed by GitHub
parent e26986f66a
commit c572116b97
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 88 additions and 5 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 {