Interface I$ToolBox

src/globals.d.ts:113–115

// $ToolBox.js
declare interface I$ToolBox {
	update_selected_tool(): void;
}
// $ColorBox.js
declare interface I$ColorBox {
	rebuild_palette(): void;