Use strftime() instead DateTime.format(), fixes #875

This commit is contained in:
Marvin W 2020-07-08 11:05:02 +02:00
parent a21ddefbb9
commit 3e08fc2f92
No known key found for this signature in database
GPG key ID: 072E9235DB996F2A

View file

@ -249,7 +249,8 @@ public static bool is_dark_theme(Gtk.Widget widget) {
private static uint8 is24h = 0; private static uint8 is24h = 0;
public static bool is_24h_format() { public static bool is_24h_format() {
if (is24h == 0) { if (is24h == 0) {
string p_format = (new DateTime.now_utc()).format("%p"); string p_format = " "; // Leaving room to be filled by strftime
Time.local(0).strftime((char[]) p_format.data, "%p");
is24h = p_format.strip() == "" ? 1 : -1; is24h = p_format.strip() == "" ? 1 : -1;
} }
return is24h == 1; return is24h == 1;