gnome-shell/js/ui
2008-11-02 03:00:45 +00:00
..
main.js First cut at activities overlay 2008-10-31 23:09:46 +00:00
overlay.js First cut at activities overlay 2008-10-31 23:09:46 +00:00
panel.js Draw a border around the panel. Move it to -1,-1 and make the width+2 so we only see the border at the bottom 2008-11-02 03:00:45 +00:00