mirror of
https://github.com/google/blockly.git
synced 2026-03-10 07:10:11 +01:00
Fix toolbox typings (#4588)
This commit is contained in:
@@ -2,7 +2,7 @@
|
||||
declare module Blockly {
|
||||
|
||||
interface BlocklyOptions {
|
||||
toolbox?: HTMLElement | string;
|
||||
toolbox?: Blockly.utils.toolbox.ToolboxDefinition;
|
||||
readOnly?: boolean;
|
||||
trashcan?: boolean;
|
||||
maxInstances?: {[type: string]: number;};
|
||||
|
||||
Reference in New Issue
Block a user