diff options
author | Armin Krezović <armin.krezovic@fet.ba> | 2016-03-10 18:02:34 +0100 |
---|---|---|
committer | Bryce Harrington <bryce@osg.samsung.com> | 2016-03-10 14:58:16 -0800 |
commit | c6a55dbf0415963ee303d68b254020d5d04e05d2 (patch) | |
tree | f5c3d80f82d72df219b2d59943790d3e4685c2bc /weston.ini.in | |
parent | 0d1a6223751242387f1fe62c8da508d6035d7fbd (diff) | |
download | weston-c6a55dbf0415963ee303d68b254020d5d04e05d2.tar.gz |
desktop-shell: make panel clock configurable
This patch enhances the panel clock by adding a config file
option which can be used to either disable the clock or make
it also show seconds in the current clock format.
v2: Implement suggestions from Pekka:
- Include Signed-off-by
- Coding style fixes
- Implement clock widget allocation by using
width from cairo_text_extents
- Highlight config option values in man page
v3: Implement suggestions from Pekka and Bryce:
- Use CLOCK_FORMAT_* instead of FORMAT_* in the enum
- Switch to using fixed clock widget size instead
of one returned from cairo_text_extents
- Fixes to config option highlighting in the man page
v4: Implement more suggestions from Pekka and Bryce:
- Improve patch changelog
- Move the check for CLOCK_FORMAT_NONE into the
caller function
- Fix a memory leak in panel_create introduced by
previous revision of this patch
Bugzilla: https://bugs.freedesktop.org/show_bug.cgi?id=57583
Signed-off-by: Armin Krezović <armin.krezovic@fet.ba>
Reviewed-by: Pekka Paalanen <pekka.paalanen@collabora.co.uk>
Diffstat (limited to 'weston.ini.in')
-rw-r--r-- | weston.ini.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/weston.ini.in b/weston.ini.in index dff9e94f..14a4c0c9 100644 --- a/weston.ini.in +++ b/weston.ini.in @@ -7,6 +7,7 @@ background-image=/usr/share/backgrounds/gnome/Aqua.jpg background-color=0xff002244 background-type=tile +clock-format=minutes panel-color=0x90ff0000 locking=true animation=zoom |