[Ide] About box info now contains the gtk theme name.