Comment by johnkarahalis

I hope this update introduces global preferences. Keeping preferences synchronized between different workspaces can be a real chore.