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. -- This message posted from opensolaris.org
