可能是手机系统升级的一种变化。

红米k40游戏工具箱划出来，需要更新MIUI10之后，在边上有个小杠，把它往中间一划就出来了。 

RedmiK40是Redmi旗下的一款智能手机，于2021年2月25日发布。 RedmiK40正面是一块6.67英寸居中打孔屏，屏幕刷新率最高120Hz，长度163.7毫米，宽度76.4毫米。