It was not so easy to remove the files (for some reason I could trash them, but the trash did not let me empty it, until I rebooted) and Skim.app, when loaded, would continue to have these preference options.Finally, I did manage to really delete them. But when I moved the files back, I wasn't able to get the hidden preferences back. Skim.app behaved as it would with default preferences.Skim.app was closed during all these delete/move operations.
Yes, that's now expected behavior. It might finally work, but it'll depend on Apple's implementation of syncing, and probably be different between 10.{7,8,9}. You might be able to mess with files in ~/Library/Caches or ~/Library/Containers and/or killing whatever daemons are responsible for syncing, but the preferences API is now the only reliable way to change things.
I think this sucks, personally, in spite of what the Apple advocates on cocoa-dev say. My parents know how to trash preference files, since it's documented in thousands of places, and it's simple to do in Finder. I don't want them anywhere near Terminal.
Adam
------------------------------------------------------------------------------ Sponsored by Intel(R) XDK Develop, test and display web and hybrid apps with a single code base. Download it for free now! http://pubads.g.doubleclick.net/gampad/clk?id=111408631&iu=/4140/ostg.clktrk
_______________________________________________ Skim-app-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
