When text is pasted into a field in preferences.pl, it is not marked as modified, and must be touched manually before it can be saved.
*** This bug has been marked as a duplicate of bug 14389 ***