dev
Updated ads (Advanced Docking System) to version 3.7.1 (#396)
New color design for the editor user interface (#1024)
Enabled auto-hide feature on panels (#1594)
Updated ADS to version 4.3.1 (#1448)
