169 self.__markedText = "" |
169 self.__markedText = "" |
170 |
170 |
171 self.__textEdit.textChanged.connect(self.__documentWasModified) |
171 self.__textEdit.textChanged.connect(self.__documentWasModified) |
172 self.__textEdit.modificationChanged.connect(self.__modificationChanged) |
172 self.__textEdit.modificationChanged.connect(self.__modificationChanged) |
173 self.__textEdit.cursorPositionChanged.connect(self.__cursorPositionChanged) |
173 self.__textEdit.cursorPositionChanged.connect(self.__cursorPositionChanged) |
|
174 self.__textEdit.linesChanged.connect(self.__resizeLinenoMargin) |
174 |
175 |
175 self.__textEdit.setContextMenuPolicy(Qt.CustomContextMenu) |
176 self.__textEdit.setContextMenuPolicy(Qt.CustomContextMenu) |
176 self.__textEdit.customContextMenuRequested.connect(self.__contextMenuRequested) |
177 self.__textEdit.customContextMenuRequested.connect(self.__contextMenuRequested) |
177 |
178 |
178 self.__textEdit.selectionChanged.connect(self.searchDlg.selectionChanged) |
179 self.__textEdit.selectionChanged.connect(self.searchDlg.selectionChanged) |
2092 |
2093 |
2093 # set margin 0 settings |
2094 # set margin 0 settings |
2094 linenoMargin = Preferences.getEditor("LinenoMargin") |
2095 linenoMargin = Preferences.getEditor("LinenoMargin") |
2095 self.__textEdit.setMarginLineNumbers(0, linenoMargin) |
2096 self.__textEdit.setMarginLineNumbers(0, linenoMargin) |
2096 if linenoMargin: |
2097 if linenoMargin: |
2097 self.__textEdit.setMarginWidth(0, |
2098 self.__resizeLinenoMargin() |
2098 ' ' + '8' * Preferences.getEditor("LinenoWidth")) |
|
2099 else: |
2099 else: |
2100 self.__textEdit.setMarginWidth(0, 16) |
2100 self.__textEdit.setMarginWidth(0, 16) |
2101 |
2101 |
2102 # set margin 1 settings |
2102 # set margin 1 settings |
2103 self.__textEdit.setMarginWidth(1, 0) |
2103 self.__textEdit.setMarginWidth(1, 0) |
2117 self.__textEdit.setFoldMarkersColors( |
2117 self.__textEdit.setFoldMarkersColors( |
2118 Preferences.getEditorColour("FoldMarkersForeground"), |
2118 Preferences.getEditorColour("FoldMarkersForeground"), |
2119 Preferences.getEditorColour("FoldMarkersBackground")) |
2119 Preferences.getEditorColour("FoldMarkersBackground")) |
2120 else: |
2120 else: |
2121 self.__textEdit.setFolding(QsciScintilla.NoFoldStyle) |
2121 self.__textEdit.setFolding(QsciScintilla.NoFoldStyle) |
|
2122 |
|
2123 def __resizeLinenoMargin(self): |
|
2124 """ |
|
2125 Private slot to resize the line numbers margin. |
|
2126 """ |
|
2127 linenoMargin = Preferences.getEditor("LinenoMargin") |
|
2128 if linenoMargin: |
|
2129 self.__textEdit.setMarginWidth( |
|
2130 0, '8' * (len(str(self.__textEdit.lines())) + 1)) |
2122 |
2131 |
2123 def __setTextDisplay(self): |
2132 def __setTextDisplay(self): |
2124 """ |
2133 """ |
2125 Private method to configure the text display. |
2134 Private method to configure the text display. |
2126 """ |
2135 """ |
2204 self.__textEdit.setCursorFlashTime(QApplication.cursorFlashTime()) |
2213 self.__textEdit.setCursorFlashTime(QApplication.cursorFlashTime()) |
2205 |
2214 |
2206 if Preferences.getEditor("OverrideEditAreaColours"): |
2215 if Preferences.getEditor("OverrideEditAreaColours"): |
2207 self.__textEdit.setColor(Preferences.getEditorColour("EditAreaForeground")) |
2216 self.__textEdit.setColor(Preferences.getEditorColour("EditAreaForeground")) |
2208 self.__textEdit.setPaper(Preferences.getEditorColour("EditAreaBackground")) |
2217 self.__textEdit.setPaper(Preferences.getEditorColour("EditAreaBackground")) |
|
2218 |
|
2219 self.__textEdit.setVirtualSpaceOptions( |
|
2220 Preferences.getEditor("VirtualSpaceOptions")) |
2209 |
2221 |
2210 def __setEolMode(self): |
2222 def __setEolMode(self): |
2211 """ |
2223 """ |
2212 Private method to configure the eol mode of the editor. |
2224 Private method to configure the eol mode of the editor. |
2213 """ |
2225 """ |