[Bug 31047] New: unable to edit gedit's preferences