文件夹,则有一个「重命名」选项,看上去还不算麻烦,直到windows11反