Hi, thanks Enrico & Pavel, hopefully all comments integrated in the pushed version.
There's a couple of TODOs left:
1. versioning of the preferences file, I don't know much in this area, the
patch adds a couple of preferences options, what else is needed?
2. persistent storage of the auth_files strings set; my first pick would be a
simple text file in the user's .lyx/ folder with one file-name per line.
Any comments to the above?
Thanks,
T.
