GNOME Bugzilla – Bug 690703
Date and AM/PM missing from top bar
Last modified: 2012-12-28 16:21:19 UTC
I've only seen this with 3.7.x builds. The toggle for these options are present but do not function.
(Merry Christmas!) What locale does this happen under? Some locales don't define AM/PM strings, and in that case the clock is forced to 24h.
Most likely what happened was the move to GnomeDesktopWallClock meaning that the key names changed. If you changed org.gnome.shell.clock.* keys before, try changing org.gnome.clock.* now.
org.gnome.clock does not exist in dconf
Btw, I am en-US locale.
(In reply to comment #3) > org.gnome.clock does not exist in dconf It's org.gnome.desktop.interface clock-format.
The clock is already set to 12h. Enabling the date from dconf works.
I'm also experiencing this issue. I checked my dconf string (/org/gnome/desktop/interface/clock-format) and it does read '12h'. My locale is 'en_US.utf8'.
I did some digging, and it appears as though the bug is not stemming from gnome-shell, but gnome desktop. dateMenu calls GnomeDesktop.WallClock like it should for the top clock, but the time that is returned is not formatted correctly. WallClock checks for something called ampm_available (which is somehow derived from the locale). If this value is false, it will leave the hour formatted as 24h, even if the the setting is for 12h. I won't be able to look into it further for quite a while though.
There was a pretty obvious thinko in the code checking for AM/PM: http://git.gnome.org/browse/gnome-desktop/commit/?id=0940370f82730359a7771aae750136e3fe6bfaa9