[Tiptoi] _erfolgreicher_ Sprachenwechsel mit neuen Stift?
    Ulrich Sibiller 
    ulrich.sibiller at gmail.com
                  
    So Nov 18 15:40:57 CET 2018
    
    
Hi,
hat schonmal jemand hier einen Sprachensechsel beim neuen Stift mit
Player erfolgreich durchgeführt?
Bisher dachte ich, die Prozedur sei die gleiche wie beim alten Stift
(und wie im Wiki beschrieben), aber mir kam zu Ohren, dass das mit dem
neuen Stift garnicht funktioniert.
Da ich nur alte Stifte habe, frage ich mal in die Runde: Stimmt das?
Uli
    
    
Mehr Informationen über die Mailingliste tiptoi