817ff52414
Whether we show times in 12h format currently depends on: - the 'clock-format' desktop setting - the locale support for AM/PM This was consist with other GNOME components, however both the WallClock[0] and the Date+Time Settings panel[1] dropped the second check after GDateTime started supporting AM/PM independently from the locale, so we should follow suite. [0] https://git.gnome.org/browse/gnome-desktop/commit?id=226fe725ef2cb2 [1] https://git.gnome.org/browse/gnome-control-center/commit?id=85cd910af https://bugzilla.gnome.org/show_bug.cgi?id=782930 |
||
---|---|---|
.. | ||
config.js.in | ||
extensionUtils.js | ||
fileUtils.js | ||
gnomeSession.js | ||
history.js | ||
ibusManager.js | ||
jsParse.js | ||
keyboardManager.js | ||
loginManager.js | ||
modemManager.js | ||
objectManager.js | ||
params.js | ||
permissionStore.js | ||
smartcardManager.js | ||
util.js | ||
weather.js |