8f424e7d96
On locales that support it, time formats should follow the 12-hour/24-hour preference, which implies that they should be updated when the setting changes. So add another utility method which creates a label for a specific time and keeps it in sync with the format setting. https://bugzilla.gnome.org/show_bug.cgi?id=745111 |
||
|---|---|---|
| .. | ||
| 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 | ||
| smartcardManager.js | ||
| util.js | ||