gnome-shell

History

Florian Müllner 817ff52414 util: Always use 12h format if requested

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

2017-05-22 15:41:29 +02:00

config.js.in

Use the versioned libmutter*.so versions

2017-02-14 11:23:09 +08:00

extensionUtils.js

extensionUtils: Use a unique 'subdir' to create new importers

2016-10-18 19:19:32 +02:00

fileUtils.js

fileUtils: Remove listDirAsync()

2014-01-09 13:23:26 -05:00

gnomeSession.js

Stringify the xml definitions for E4X removal