Mercurial Repositories > eric / file comparison
comparison: eric6/QScintilla/Editor.py
eric6/QScintilla/Editor.py
- branch
- maintenance
- changeset 7035
- d2036d7f5ef6
- parent 6989
- 8b8cadf8d7e9
- parent 6996
- 7d5a103bdb76
- child 7214
- f434af227a41
equal
deleted
inserted
replaced
| 6991:68256afbba26 | 7035:d2036d7f5ef6 |
|---|---|
| 8157 def __getEditorConfig(self, option, nodefault=False, config=None): | 8157 def __getEditorConfig(self, option, nodefault=False, config=None): |
| 8158 """ | 8158 """ |
| 8159 Private method to get the requested option via EditorConfig. | 8159 Private method to get the requested option via EditorConfig. |
| 8160 | 8160 |
| 8161 If there is no EditorConfig defined, the equivalent built-in option | 8161 If there is no EditorConfig defined, the equivalent built-in option |
| 8162 will be used (Preferences.getEditor(). The option must be given as the | 8162 will be used (Preferences.getEditor() ). The option must be given as |
| 8163 Preferences option key. The mapping to the EditorConfig option name | 8163 the Preferences option key. The mapping to the EditorConfig option name |
| 8164 will be done within this method. | 8164 will be done within this method. |
| 8165 | 8165 |
| 8166 @param option Preferences option key | 8166 @param option Preferences option key |
| 8167 @type str | 8167 @type str |
| 8168 @param nodefault flag indicating to not get the default value from | 8168 @param nodefault flag indicating to not get the default value from |
