--- a/Preferences/ConfigurationPages/EditorStylesPage.py Tue Jun 01 13:21:19 2010 +0200 +++ b/Preferences/ConfigurationPages/EditorStylesPage.py Wed Jun 02 10:04:33 2010 +0200 @@ -10,6 +10,8 @@ from PyQt4.QtCore import pyqtSlot from PyQt4.Qsci import QsciScintilla +from QScintilla.QsciScintillaCompat import QsciScintillaCompat + from .ConfigurationPageBase import ConfigurationPageBase from .Ui_EditorStylesPage import Ui_EditorStylesPage @@ -32,7 +34,9 @@ QsciScintilla.CircledFoldStyle, QsciScintilla.BoxedFoldStyle, QsciScintilla.CircledTreeFoldStyle, - QsciScintilla.BoxedTreeFoldStyle + QsciScintilla.BoxedTreeFoldStyle, + QsciScintillaCompat.ArrowFoldStyle, + QsciScintillaCompat.ArrowTreeFoldStyle, ] self.edgeModes = [