CodingPirates/blockly
1
0
Fork 0
mirror of https://github.com/google/blockly.git synced 2026-01-10 18:37:09 +01:00
Code Issues Packages Projects Releases Wiki Activity

Make Blockly options an interface (#3312)

Browse Source 
* Make workspace options an interface so it can be extended in the d.ts.
This commit is contained in:
Sam El-Husseini
2019-10-22 14:20:26 -04:00
committed by GitHub
parent 36d7e4ff8c
commit 4f02ceeba0
7 changed files with 29 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
core/toolbox.js
View File

@@ -178,7 +178,7 @@ Blockly.Toolbox.prototype.init = function() {
}
Blockly.Touch.clearTouchIdentifier(); // Don't block future drags.
}, /* opt_noCaptureIdentifier */ false, /* opt_noPreventDefault */ true);
var workspaceOptions = {
var workspaceOptions = /** @type {!Blockly.Options} */ ({
disabledPatternId: workspace.options.disabledPatternId,
parentWorkspace: workspace,
RTL: workspace.RTL,
@@ -186,7 +186,7 @@ Blockly.Toolbox.prototype.init = function() {
horizontalLayout: workspace.horizontalLayout,
toolboxPosition: workspace.options.toolboxPosition,
renderer: workspace.options.renderer
};
});
if (workspace.horizontalLayout) {
if (!Blockly.HorizontalFlyout) {
throw Error('Missing require for Blockly.HorizontalFlyout');