gedit plugin to edit shortcuts