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.
262 B
16x12px
262 B
16x12px
![](/maxmustermann/godot/raw/commit/0e81053de80764830246b3faff30d3418e9d895a/editor/icons/icon_mini_int_array.png)