It ain't "military time"
, at least not for those of us in Europe, or else that would make us a "military continent". As far as I know, Great Britain is the
only country in Europe not to use the 24-hour format. (Like the US may be among 4 or 5 countries of the world, and the only "first world" country, not to use the
metric system.)
That said, I agree the time indicator should be customisable. I think Kris said there was not enough space there to include the
pm or
am indicator, which is why you're seeing "military time".
However, I think there's an easy fix for that: simply display the 12-hour clock (for those Marvin users who prefer it)
without the
am/pm indicator. Because: is any Marvin user ever going to confuse 6 am with 6 pm, 3 pm with 3 am
while reading a book in Marvin? I don't think so... In
that particular spot of the user interface, the
am/pm thingy does not seem strictly necessary.
For a related GitHub issue, see
here.