From: Piet v. O. <pi...@pi...> - 2015-07-02 22:10:51
|
Christiaan Hofman wrote: > > The .bookmarks.plist file does not contain any of this info. That only contains the actual > bookmarks, not the previous session. You are right. It should have been net.sourceforge.skim-app.skim.plist, but I could not do a delete on that: $ defaults delete net.sourceforge.skim-app.skim 2015-07-02 23:03:49.972 defaults[6811:204709] Domain (net.sourceforge.skim-app.skim) not found. Defaults have not been changed. So why deleting the .bookmarks.plist domain still worked might just be one of those other mysteries. Anyway I am happy now. :) -- Piet van Oostrum <pi...@va...> WWW: http://pietvanoostrum.com/ PGP key: [8DAE142BE17999C4] |