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

Merge branch 'master' of https://github.com/google/blockly

Browse Source
This commit is contained in:
daarond
2015-05-21 11:45:15 -05:00
parent 58b41c9c46 6fdab711b2
commit f240b6dcda
52 changed files with 150 additions and 169 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
demos/code/code.js
View File

@@ -414,6 +414,7 @@ Code.init = function() {
function(name_) {return function() {Code.tabClick(name_);};}(name));
}
onresize();
// Lazy-load the syntax-highlighting.
window.setTimeout(Code.importPrettify, 1);
};