QScintilla/MiniEditor.py

changeset 2640
dedcd4f987e0
parent 2409
df3820f08247
child 2659
7f46c5a7ed73
equal deleted inserted replaced
2634:8bd79dfb48a5 2640:dedcd4f987e0
167 self.__markedText = "" 167 self.__markedText = ""
168 168
169 self.__textEdit.textChanged.connect(self.__documentWasModified) 169 self.__textEdit.textChanged.connect(self.__documentWasModified)
170 self.__textEdit.modificationChanged.connect(self.__modificationChanged) 170 self.__textEdit.modificationChanged.connect(self.__modificationChanged)
171 self.__textEdit.cursorPositionChanged.connect(self.__cursorPositionChanged) 171 self.__textEdit.cursorPositionChanged.connect(self.__cursorPositionChanged)
172 self.__textEdit.linesChanged.connect(self.__resizeLinenoMargin)
172 173
173 self.__textEdit.setContextMenuPolicy(Qt.CustomContextMenu) 174 self.__textEdit.setContextMenuPolicy(Qt.CustomContextMenu)
174 self.__textEdit.customContextMenuRequested.connect(self.__contextMenuRequested) 175 self.__textEdit.customContextMenuRequested.connect(self.__contextMenuRequested)
175 176
176 self.__textEdit.selectionChanged.connect(self.searchDlg.selectionChanged) 177 self.__textEdit.selectionChanged.connect(self.searchDlg.selectionChanged)
2090 2091
2091 # set margin 0 settings 2092 # set margin 0 settings
2092 linenoMargin = Preferences.getEditor("LinenoMargin") 2093 linenoMargin = Preferences.getEditor("LinenoMargin")
2093 self.__textEdit.setMarginLineNumbers(0, linenoMargin) 2094 self.__textEdit.setMarginLineNumbers(0, linenoMargin)
2094 if linenoMargin: 2095 if linenoMargin:
2095 self.__textEdit.setMarginWidth(0, 2096 self.__resizeLinenoMargin()
2096 ' ' + '8' * Preferences.getEditor("LinenoWidth"))
2097 else: 2097 else:
2098 self.__textEdit.setMarginWidth(0, 16) 2098 self.__textEdit.setMarginWidth(0, 16)
2099 2099
2100 # set margin 1 settings 2100 # set margin 1 settings
2101 self.__textEdit.setMarginWidth(1, 0) 2101 self.__textEdit.setMarginWidth(1, 0)
2115 self.__textEdit.setFoldMarkersColors( 2115 self.__textEdit.setFoldMarkersColors(
2116 Preferences.getEditorColour("FoldMarkersForeground"), 2116 Preferences.getEditorColour("FoldMarkersForeground"),
2117 Preferences.getEditorColour("FoldMarkersBackground")) 2117 Preferences.getEditorColour("FoldMarkersBackground"))
2118 else: 2118 else:
2119 self.__textEdit.setFolding(QsciScintilla.NoFoldStyle) 2119 self.__textEdit.setFolding(QsciScintilla.NoFoldStyle)
2120
2121 def __resizeLinenoMargin(self):
2122 """
2123 Private slot to resize the line numbers margin.
2124 """
2125 linenoMargin = Preferences.getEditor("LinenoMargin")
2126 if linenoMargin:
2127 self.__textEdit.setMarginWidth(
2128 0, '8' * (len(str(self.__textEdit.lines())) + 1))
2120 2129
2121 def __setTextDisplay(self): 2130 def __setTextDisplay(self):
2122 """ 2131 """
2123 Private method to configure the text display. 2132 Private method to configure the text display.
2124 """ 2133 """

eric ide

mercurial