On 31/05/2016 15:52, Sven Van Caekenberghe wrote:
Well, one day we had a very cool option whereby the missing source file was downloaded
automatically, but we had to disable it again because of unreliable networking for some
people. A pity.
Couldn't this be just change in order to ask to the user if he wanted to
launch the download instead of doing it automatically?
--
Cyril Ferlicot
http://www.synectique.eu
165 Avenue Bretagne
Lille 59000 France