Nowadays Blockly offers a series of plugins. I have now implemented the plugin-workspace-search in our node. To do that, I had to upgrade Blockly to version 6.20210701.0.
Remark: what a luxury that we can now simply change the Blockly version number in our package.json file, to get another version...
Via control-F you can now open the search box. When blocks match your search text, you can navigate between the search results via next/previous arrow buttons. And the search box can be hidden via the x-button:
P.S. the grey blocks match the search criteria, and the black box is the one you are currently navigating to (via the arrow buttons).
cymplecy
commented
3 years ago
Morning @cymplecy , @jsccjj ,
Nowadays Blockly offers a series of plugins. I have now implemented the plugin-workspace-search in our node. To do that, I had to upgrade Blockly to version 6.20210701.0.
Remark: what a luxury that we can now simply change the Blockly version number in our package.json file, to get another version...
Via control-F you can now open the search box. When blocks match your search text, you can navigate between the search results via next/previous arrow buttons. And the search box can be hidden via the x-button:
P.S. the grey blocks match the search criteria, and the black box is the one you are currently navigating to (via the arrow buttons).