gnome-shell/js
2008-11-02 03:00:45 +00:00
..
ui 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