dateMenu.js
|
Calendar: make current date label clickable
|
2014-03-05 16:40:56 +01:00 |
layout.js
|
hdpi: Revert hacks
|
2014-02-18 23:40:34 +01:00 |
main.js
|
activate session
|
2014-03-07 18:42:07 -05:00 |
osdWindow.js
|
osdWindow: scale by scaleFactor
|
2014-02-18 07:46:07 -08:00 |
panel.js
|
popupMenu: Use an image for arrows
|
2014-02-19 13:44:27 +01:00 |
popupMenu.js
|
popupMenu: Use an image for arrows
|
2014-02-19 13:44:27 +01:00 |
shellDBus.js
|
shellDBus: Fix LaunchExtensionPreferences()
|
2014-02-20 20:27:02 +01:00 |
windowManager.js
|
windowManager: Animate tile previews
|
2014-02-20 00:29:14 +01:00 |