panel: Add autohide option to Editor