coreyfarrell/Cinnamon — pull request #1 by coreyfarrell (2013-03-18 07:50:45+00:00)
Title: remote menu animations

popupmenu.js - add toggle_with_options for opening/closing a menu
without animation or with a callback