romariv

Стоит 4.02 та же история. Есть неплохой костыль — в настройках лаунчера — расширенные настройки — перезагрузить лаунчер.