Ok, I just committed Paolo patch. I also fixed a segfault on the glade-editor (introduced by me when I was doing the menu editor, nothing to do with Paolo work). Cheers,