--- a/eric6/WebBrowser/Bookmarks/BookmarksImporters/OperaImporter.py Tue Oct 13 19:02:26 2020 +0200 +++ b/eric6/WebBrowser/Bookmarks/BookmarksImporters/OperaImporter.py Wed Oct 14 17:50:39 2020 +0200 @@ -98,9 +98,8 @@ @return imported bookmarks (BookmarkNode) """ try: - f = open(self.__fileName, "r", encoding="utf-8") - contents = f.read() - f.close() + with open(self.__fileName, "r", encoding="utf-8") as f: + contents = f.read() except IOError as err: self._error = True self._errorString = self.tr(