This is a great feature ... I was really happy when it showed up in 1.2.1. Then afternoon came and it didn't show 24h time. I understand the discussion in bug #8952 regarding the reserved space vs. wrapping issue (and see also #8989), but still it would be nice if there was some way other than editing the file by hand to get 24h time. (I suspect many of your European users prefer 24h to 12h time display).