>
home
>
Commands
change_to_build_panel
January 19th 2020
If the special build panel is open, makes the build panel the active panel.