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

Initial commit for changing key mappings (#2787)

Browse Source 
* Added ability to easily change key mappings
This commit is contained in:
alschmiedt
2019-08-13 13:37:01 -07:00
committed by GitHub
parent 4758b4aa55
commit 74fa3bb71a
11 changed files with 494 additions and 226 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
core/inject.js
View File

@@ -74,6 +74,7 @@ Blockly.inject = function(container, opt_options) {
var workspace = Blockly.createMainWorkspace_(svg, options, blockDragSurface,
workspaceDragSurface);
Blockly.setTheme(options.theme);
Blockly.user.keyMap.setKeyMap(options.keyMap);
Blockly.init_(workspace);
Blockly.mainWorkspace = workspace;