OK. NOW what is Gnome doing??????? Settings show that I have selected AM/PM for time, it was showing AM/PM previously but now the time in the middle of the top line is in 24 hr time. ?????