Как отключить кнопки Mi-POP на Xiaomi Redmi 3?

Получилось решить проблему методом тыка: оказалось, эта кнопка, разделяющаяся на 4 при перетаскивании направо, возникает и убирается по нажатии на значок приложения на рабочем столе, и верхняя часть значка при активности приложения будет зелёной, а при отключении серой, как и нижняя.