diff -r aa713ac50c0d -r cc717c2ae956 eric6/QScintilla/MiniEditor.py
--- a/eric6/QScintilla/MiniEditor.py Thu Apr 15 16:52:05 2021 +0200
+++ b/eric6/QScintilla/MiniEditor.py Thu Apr 15 18:11:24 2021 +0200
@@ -9,6 +9,7 @@
import os
import re
+import contextlib
from PyQt5.QtCore import (
pyqtSignal, Qt, QSignalMapper, QPoint, QTimer, QFileInfo, QSize,
@@ -151,10 +152,8 @@
@type QFocusEvent
"""
self.mw.editorActGrp.setEnabled(True)
- try:
+ with contextlib.suppress(AttributeError):
self.setCaretWidth(self.mw.caretWidth)
- except AttributeError:
- pass
self.setCursorFlashTime(QApplication.cursorFlashTime())
@@ -2861,10 +2860,8 @@
self.__textEdit.setMarginWidth(2, 16)
if Preferences.getEditor("FoldingMargin"):
folding = Preferences.getEditor("FoldingStyle")
- try:
+ with contextlib.suppress(AttributeError):
folding = QsciScintilla.FoldStyle(folding)
- except AttributeError:
- pass
self.__textEdit.setFolding(folding)
self.__textEdit.setFoldMarginColors(
Preferences.getEditorColour("FoldmarginBackground"),
