Whoops... the JS side for the first would be more complicated than that (hit
send too soon).

let old_background = Meta.get_background_actor_for_screen(global.screen);
let new_background = new Clutter.Container();

new_background.add_actor(rainmeter);

// You'd probably make set_background_actor remove the background actor from
its children.
Meta.set_background_actor_for_screen(global.screen, new_background);

new_background.add_actor(old_background);
old_background.lower_bottom();
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
http://mail.gnome.org/mailman/listinfo/gnome-shell-list

Reply via email to