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

Merge branch 'develop' into merge-develop-to-goog_module

Browse Source
This commit is contained in:
kozbial
2021-09-21 16:04:33 -07:00
parent 556a2422e2 c3cfd4d84b
commit 6fc90213a6
265 changed files with 21385 additions and 7566 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
core/theme_manager.js
View File

@@ -22,6 +22,7 @@ const Workspace = goog.requireType('Blockly.Workspace');
/* eslint-disable-next-line no-unused-vars */
const WorkspaceSvg = goog.requireType('Blockly.WorkspaceSvg');
const dom = goog.require('Blockly.utils.dom');
const utils = goog.require('Blockly.utils');
/**
@@ -134,11 +135,9 @@ ThemeManager.prototype.subscribeWorkspace = function(workspace) {
* @package
*/
ThemeManager.prototype.unsubscribeWorkspace = function(workspace) {
const index = this.subscribedWorkspaces_.indexOf(workspace);
if (index < 0) {
if (!utils.arrayRemove(this.subscribedWorkspaces_, workspace)) {
throw Error('Cannot unsubscribe a workspace that hasn\'t been subscribed.');
}
this.subscribedWorkspaces_.splice(index, 1);
};
/**