linuxmint/Cinnamon — pull request #1747 by Lusito (2013-02-26 01:47:04+00:00)
Title: Misc. Cleanup and upgrades

- Removing unused panelmenu.js
- Adding alternative to the deprecated reparent method (see #1131).
- usage: global.reparentActor(actor, parent);
- parent can be null.
- does not care if actor already is a child of parent, so it can be removed and appended to the end by doing global.reparentActor(actor, actor.get_parent()).
- Refactoring log initialization out of the start method.