[chimerax-users] Search in Command History

Dear ChimeraX team, Not sure if there is one already, would be great to have a search box in the "Command History" window. Best, Roden -- This message and its contents, including attachments are intended solely for the original recipient. If you are not the intended recipient or have received this message in error, please notify me immediately and delete this message from your computer system. Any unauthorized use or distribution is prohibited. Please consider the environment before printing this email.