A livello grafico non ho toccato niente. Il tema di default mi pare più che adatto.
Le estensioni sono queste, ma l'unica che potrebbe creare problemi mi pare la TabGroup, che è fondamentale e non posso disabilitare.
Tab Mix l'avevo installata principalmente per far aprire una scheda accanto a quella attiva, ma se deve creare tutti questi problemi forse è meglio qualcos'altro.
Anche se mi pare molto utile come extension.
Se fosse possibile capire l'arcano e risolvere il problema