>
home
>
Commands
change_active_panel
September 8th 2024
Change the currently active panel, moving to the panel with the next highest view_id.