在磁盘属性对话框中的( )选项卡里，用户可以修改磁盘分区名称。