Port gedit plugin to new menu api