On 02/01/2010 06:40, Ivan Wang wrote: > Well, reply to myself, looks like it's not possible to change time format > with new gdm greeter panel. > Time format is hard-coded according to: > http://git.gnome.org/browse/gdm/tree/gui/simple-greeter/gdm-clock-widget.c > > Ivan. > You can file a bug to Gnome bugzilla regarding this, if it wasn't already filed before.
Regards, Hillel.
