diff -r 0835ed67714b -r 2f0d208b8137 eric6/UI/DiffDialog.py --- a/eric6/UI/DiffDialog.py Sat Nov 21 19:31:16 2020 +0100 +++ b/eric6/UI/DiffDialog.py Sun Nov 22 16:04:59 2020 +0100 @@ -140,7 +140,7 @@ f.write(txt) except UnicodeError: pass - except IOError as why: + except OSError as why: E5MessageBox.critical( self, self.tr('Save Diff'), self.tr( @@ -155,12 +155,12 @@ self.filename1 = Utilities.toNativeSeparators(self.file1Picker.text()) try: filemtime1 = time.ctime(os.stat(self.filename1).st_mtime) - except IOError: + except OSError: filemtime1 = "" try: with open(self.filename1, "r", encoding="utf-8") as f1: lines1 = f1.readlines() - except IOError: + except OSError: E5MessageBox.critical( self, self.tr("Compare Files"), @@ -172,12 +172,12 @@ self.filename2 = Utilities.toNativeSeparators(self.file2Picker.text()) try: filemtime2 = time.ctime(os.stat(self.filename2).st_mtime) - except IOError: + except OSError: filemtime2 = "" try: with open(self.filename2, "r", encoding="utf-8") as f2: lines2 = f2.readlines() - except IOError: + except OSError: E5MessageBox.critical( self, self.tr("Compare Files"),