From 6562d57098d4b90f6801d6c0c660bece032be803 Mon Sep 17 00:00:00 2001 From: Richard Knoll Date: Tue, 17 Feb 2026 18:14:41 +0000 Subject: [PATCH 1/2] add scroll to blockly dropdown content --- theme/fieldeditors.less | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/theme/fieldeditors.less b/theme/fieldeditors.less index 01b2cce4a87d..77e1af4a9aaa 100644 --- a/theme/fieldeditors.less +++ b/theme/fieldeditors.less @@ -11,6 +11,10 @@ @blocklyDarkTextColor: #575E75; @fieldNoteSelectedColor: yellowgreen; +.blocklyDropDownContent { + overflow-y: auto; +} + ////// Note Editor Field //////// .blocklyDropDownContent { .blocklyPianoDiv { From f1619219a2a55d1a94b144fd7f251d3ed59390f6 Mon Sep 17 00:00:00 2001 From: Richard Knoll Date: Tue, 17 Feb 2026 18:51:58 +0000 Subject: [PATCH 2/2] fix piping of blockly media files --- gulpfile.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gulpfile.js b/gulpfile.js index f65391b59ee6..23397439b2e4 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -544,7 +544,7 @@ const buildSVGIcons = () => { } const copyBlocklyMedia = () => - gulp.src("node_modules/blockly/media/*") + gulp.src("node_modules/blockly/media/*", { encoding: false }) .pipe(gulp.dest("webapp/public/blockly/media"))