Well, I knew that later, but it was not to see at the first glimpse. He was not using a common desktop like Gnome or KDE, so it was not obvious what he was using.