eric6/WebBrowser/Download/DownloadManager.py

changeset 7628
f904d0eef264
parent 7533
88261c96484b
child 7759
51aa6c6b66f7
equal deleted inserted replaced
7626:7f643d41464e 7628:f904d0eef264
384 384
385 @param policy policy to be set 385 @param policy policy to be set
386 (DownloadManager.RemoveExit, DownloadManager.RemoveNever, 386 (DownloadManager.RemoveExit, DownloadManager.RemoveNever,
387 DownloadManager.RemoveSuccessFullDownload) 387 DownloadManager.RemoveSuccessFullDownload)
388 """ 388 """
389 assert policy in (DownloadManager.RemoveExit, 389 if policy in (DownloadManager.RemoveExit,
390 DownloadManager.RemoveNever, 390 DownloadManager.RemoveNever,
391 DownloadManager.RemoveSuccessFullDownload) 391 DownloadManager.RemoveSuccessFullDownload):
392 392
393 if policy == self.removePolicy(): 393 if policy == self.removePolicy():
394 return 394 return
395 395
396 Preferences.setWebBrowser("DownloadManagerRemovePolicy", self.policy) 396 Preferences.setWebBrowser("DownloadManagerRemovePolicy",
397 self.policy)
397 398
398 def save(self): 399 def save(self):
399 """ 400 """
400 Public method to save the download settings. 401 Public method to save the download settings.
401 """ 402 """

eric ide

mercurial