Mercurial Repositories > eric / file comparison
comparison: QScintilla/Editor.py
QScintilla/Editor.py
- changeset 2640
- dedcd4f987e0
- parent 2632
- 94121e2f55b9
- child 2643
- e870fc2b4819
equal
deleted
inserted
replaced
| 2634:8bd79dfb48a5 | 2640:dedcd4f987e0 |
|---|---|
| 269 self.changeMarkersMask = (1 << self.__changeMarkerSaved) | \ | 269 self.changeMarkersMask = (1 << self.__changeMarkerSaved) | \ |
| 270 (1 << self.__changeMarkerUnsaved) | 270 (1 << self.__changeMarkerUnsaved) |
| 271 | 271 |
| 272 # configure the margins | 272 # configure the margins |
| 273 self.__setMarginsDisplay() | 273 self.__setMarginsDisplay() |
| 274 self.linesChanged.connect(self.__resizeLinenoMargin) | |
| 274 | 275 |
| 275 self.marginClicked.connect(self.__marginClicked) | 276 self.marginClicked.connect(self.__marginClicked) |
| 276 | 277 |
| 277 # set the eol mode | 278 # set the eol mode |
| 278 self.__setEolMode() | 279 self.__setEolMode() |
| 3821 | 3822 |
| 3822 # set linenumber margin settings | 3823 # set linenumber margin settings |
| 3823 linenoMargin = Preferences.getEditor("LinenoMargin") | 3824 linenoMargin = Preferences.getEditor("LinenoMargin") |
| 3824 self.setMarginLineNumbers(self.__linenoMargin, linenoMargin) | 3825 self.setMarginLineNumbers(self.__linenoMargin, linenoMargin) |
| 3825 if linenoMargin: | 3826 if linenoMargin: |
| 3826 self.setMarginWidth(self.__linenoMargin, | 3827 self.__resizeLinenoMargin() |
| 3827 ' ' + '8' * Preferences.getEditor("LinenoWidth")) | |
| 3828 else: | 3828 else: |
| 3829 self.setMarginWidth(self.__linenoMargin, 0) | 3829 self.setMarginWidth(self.__linenoMargin, 0) |
| 3830 | 3830 |
| 3831 # set folding margin settings | 3831 # set folding margin settings |
| 3832 if Preferences.getEditor("FoldingMargin"): | 3832 if Preferences.getEditor("FoldingMargin"): |
| 3844 Preferences.getEditorColour("FoldMarkersForeground"), | 3844 Preferences.getEditorColour("FoldMarkersForeground"), |
| 3845 Preferences.getEditorColour("FoldMarkersBackground")) | 3845 Preferences.getEditorColour("FoldMarkersBackground")) |
| 3846 else: | 3846 else: |
| 3847 self.setMarginWidth(self.__foldMargin, 0) | 3847 self.setMarginWidth(self.__foldMargin, 0) |
| 3848 self.setFolding(QsciScintilla.NoFoldStyle, self.__foldMargin) | 3848 self.setFolding(QsciScintilla.NoFoldStyle, self.__foldMargin) |
| 3849 | 3849 |
| 3850 def __resizeLinenoMargin(self): | |
| 3851 """ | |
| 3852 Private slot to resize the line numbers margin. | |
| 3853 """ | |
| 3854 linenoMargin = Preferences.getEditor("LinenoMargin") | |
| 3855 if linenoMargin: | |
| 3856 self.setMarginWidth(self.__linenoMargin, '8' * (len(str(self.lines())) + 1)) | |
| 3857 | |
| 3850 def __setTextDisplay(self): | 3858 def __setTextDisplay(self): |
| 3851 """ | 3859 """ |
| 3852 Private method to configure the text display. | 3860 Private method to configure the text display. |
| 3853 """ | 3861 """ |
| 3854 self.setTabWidth(Preferences.getEditor("TabWidth")) | 3862 self.setTabWidth(Preferences.getEditor("TabWidth")) |
