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 """ |