Changes to debian-menu.xml don't take immediate effect. How do I update OpenBox's menus after changing debian-menu.xml without restarting the window manager? Thanks! Jack