X200s和X200 Pro Mini 的紫色来了，很经典的尺寸 ​​​