Mejora precisión del widget de ajuste de temperatura con decimales
El widget de ajuste de temperatura (el cuadrado que deslizas arriba/abajo para establecer la temperatura) cuando incluye decimales es impreciso en su manejo. Si quieres establecer por ejemplo, 19,5º, es difícil acertar y poner exactamente 19,5º acabando muchas veces poniendo 19,4º o 19,6º u otros valores cercanos a 19,5º…