On Thu, 2014-04-03 at 22:35 +0530, Venkatesh Shukla IIT BHU wrote: > so if a loaded XML has an ID do we ignore the ID saved in the > settings? > > > No, the flow is like this. > 1. Open the download dive dialog box. Check on the save user id > checkbox. Download and accept the changes. Save the file. Due to this, > the xml document will store feature like > <userid>QWERTYUIOPASDFGHJKLZXCVBNMQWER</userid>. > 2. When a new xml file gets loaded, if it contains a userid, the same > user id will be stored. Also the feature of saving userid will be > enabled. On the other hand, if the userid is absent, the feature is > disabled. The xml files will remain as they were. > This way, one can maintain userids in files they want.
I think Lubomir's question was about the preference order... we store the userid in the settings AND we store it in the XML file. If both are present, which one is given preference? Oh, and of course this opens the other question... what if the user stores their data in a git branch instead of an XML file? Yes, today it's kinda hard to move from one computer to the next with the git storage engine, but of course long term that's one of the main values of this. So we should add both storing and parsing in save-git.c and load-git.c /D _______________________________________________ subsurface mailing list [email protected] http://lists.hohndel.org/cgi-bin/mailman/listinfo/subsurface
