gnome-shell/js/ui
Dan Winship 2a40560828 split the desktop area out of overlay.js
svn path=/trunk/; revision=110
2008-12-02 16:15:00 +00:00
..
appdisplay.js Use Big.Box for highlight box as well to get rounded corners 2008-12-01 23:48:07 +00:00
button.js Redo tabs => spaces indentation change to not lose manual indentation 2008-12-01 19:51:43 +00:00
desktops.js split the desktop area out of overlay.js 2008-12-02 16:15:00 +00:00
main.js Redo tabs => spaces indentation change to not lose manual indentation 2008-12-01 19:51:43 +00:00
overlay.js split the desktop area out of overlay.js 2008-12-02 16:15:00 +00:00
panel.js Bug 562771 – The clock is inaccurate 2008-12-01 19:59:59 +00:00
run_dialog.js Redo tabs => spaces indentation change to not lose manual indentation 2008-12-01 19:51:43 +00:00
windowmanager.js Redo tabs => spaces indentation change to not lose manual indentation 2008-12-01 19:51:43 +00:00