I heard that Mac OS X was just bad at saving preferences period. I checked both the actual resource file, and the user preference, and it should have worked. It may be something with the dockling server, but I couldn't find any useful XML to edit inside of there either.