Command menu error

qiuqiu · July 19, 2024, 7:00am

DOpus Version: 13.7.8 beta

Leo · July 19, 2024, 8:44pm

Thank you for reporting this! It will be fixed in 13.8.