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 <p...@vanoostrum.org> WWW: http://pietvanoostrum.com/ PGP key: [8DAE142BE17999C4] ------------------------------------------------------------------------------ Don't Limit Your Business. Reach for the Cloud. GigeNET's Cloud Solutions provide you with the tools and support that you need to offload your IT needs and focus on growing your business. Configured For All Businesses. Start Your Cloud Today. https://www.gigenetcloud.com/ _______________________________________________ Skim-app-users mailing list Skim-app-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/skim-app-users
