Added dedicated gtk profile editor, with fallback to gedit for cases where gtk errors out, and separate edit menu options for each profile