gnome-shell/js
Dan Winship 4a5873dd22 Create a more extensible/organized strut/input_area management system.
Now code can call Main.addShellActor(actor) to declare that that actor
is part of the shell, and so it should (a) be protected by wm struts, and
(b) be part of the stage input area, and then that code automatically
deals with updating if the actor changes size or visibility.
2009-04-30 14:57:13 -04:00
..
ui Create a more extensible/organized strut/input_area management system. 2009-04-30 14:57:13 -04:00
Makefile.am Make "make distcheck" work, and verify that we're disting all the javascript 2009-03-12 10:04:25 -04:00