Florian Müllner e6a70e4676 [statusMenu] Use user status icons from icon theme ...

Currently, we use 'gtk-yes', 'gtk-no' and 'gtk-media-pause' as
user status icons. It seems more logical to use the dedicated
icons from gnome-icon-theme instead.

https://bugzilla.gnome.org/show_bug.cgi?id=620374

2010-06-11 14:50:50 +02:00

..

misc

minor js cleanups

2010-05-19 13:26:41 -04:00

perf

[perf] replace frame count with accurately computed frame rate

2010-05-26 15:37:27 -04:00

prefs

[clockPreferences] Fix translations

2010-05-25 23:03:15 +02:00

ui

[statusMenu] Use user status icons from icon theme

2010-06-11 14:50:50 +02:00

Makefile.am

Fix "make distcheck" - add missing reference for scripting.js - properly add js/perf/*

2010-05-22 18:02:52 +02:00