[Phpmyadmin-devel] new Theme class?

Hi, after choosing darkblue/orange in the interface, the theme changes but in the chooser I see darkblue/orange twice, and original is gone. Marc