Playlist editor: save configuration when it changes.