DaveLopment Mi-Newbie
  • Mitglied seit 8. Juli 2018
  • Letzte Aktivität:

Beiträge von DaveLopment

    Ich hab eben das Update auf MIUI10, basierend auf Oreo erhalten. Leider kann ich seither nicht mehr auf die Entwickleroptionen zugreifen (zumindest nicht, wenn Deutsch als Spreche eingestellt ist). Absoluter worst Case, weil ich von dem Bluetooth-Codec Bug betroffen bin und ihn jetzt nicht einmal mehr manuell ändern kann.

    In der Tat: Sehr ärgerlich.


    Ich bin vor kurzem vom Redmi Note 3 (MIUI 9 auf Nougat-Basis) auf das Mi Mix 2S gewechselt (MIUI 9 auf Oreo-Basis).


    Ich habe mir mit Tasker zumindest etwas Arbeitserleichterung geschaffen: Wenn Bluetooth mit dem Autoradio verbunden ist, springt er automatisch in die Entwicklereinstellungen.