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/41c3ca358e1b4c6d4a3bcbd1a158f20cb0016e4e/editor/icons/icon_check_box.png)