Originally Posted by DavidMcCann
Gnome 3 has dconf-editor (replacing the old gconf-editor), although you may not have it installed by default. I assume that it may do the job, although I offer no guarentee: I use Gnome 2.
Thanks for the reply.
I think "Mon Jan 14" looks stupid and is harder to read than "Monday, January 14". It's a prominent part of the interface and I'm used to seeing it a certain way. There's no reason for it to be abbreviated anyway, since 80% of the panel is unused space.
One good reason that this should be an option is that it is standard in some (all?) European countries (Maybe other countries as well?) to write the day before the month instead of after it. Many people who live in such countries would probably prefer to have their clock read "Monday, 14 January 2013, 3:00 PM", but changing the city in your date and time settings to a city in one of those countries doesn't change the clock format to the standard that the country uses. Because it's both a regional thing and a matter of taste, I see it as quite an oversight that you can't change it, if I'm indeed correct that you can't.