Fixed a bug with gnome-login.
Fixed a bug when changing theme without reloading interface.
Minor bug fixes on symersion.