[edubuntu] disable gnome panel menu edits in 12.04 LTS

view story

http://ubuntuforums.org – Been using Ubuntu for five years, now struggling with a set-up of Edubuntu 12.04 with Gnome (installed from the iso). Able to create a limited user and group and link it to an edited menu from within Edubuntu menu editor and profile manager. Objective is a student log-in without as many options. When I log in as the student, the menu drops down from "Applications" on the Gnome panel as expected. However, if I right click on that portion of the panel (top left) I get a "Edit Menus" option that lets me put all the removed applications back in the menu. This is a persis (Hardware)