The other subfolders of tools/ had already been moved to either editor/, misc/ or thirdparty/, so the hiding the editor code that deep was no longer meaningful.
404 B
16x16px
404 B
16x16px
![](/maxmustermann/godot/raw/commit/9b413333409dd354fa72084795bdafdf1c228ef2/editor/icons/icon_check_box.png)