367 self.highlightingBackgroundButton, |
367 self.highlightingBackgroundButton, |
368 Preferences.getEditorColour, |
368 Preferences.getEditorColour, |
369 hasAlpha=True, |
369 hasAlpha=True, |
370 ) |
370 ) |
371 |
371 |
|
372 def setMode(self, displayMode): |
|
373 """ |
|
374 Public method to perform mode dependent setups. |
|
375 |
|
376 @param displayMode mode of the configuration dialog |
|
377 @type ConfigurationMode |
|
378 """ |
|
379 from ..ConfigurationDialog import ConfigurationMode |
|
380 |
|
381 if displayMode in (ConfigurationMode.SHELLMODE,): |
|
382 self.foldMarginGroup.hide() |
|
383 self.caretLineGroup.hide() |
|
384 self.debuggingGroup.hide() |
|
385 self.wrapLongLinesGroup.hide() |
|
386 self.edgeModeGroup.hide() |
|
387 self.zoomGroup.hide() |
|
388 self.annotationsGroup.hide() |
|
389 self.changeTracingGroup.hide() |
|
390 self.indentationsGroup.hide() |
|
391 self.markerMapGroup.hide() |
|
392 self.variousGroup.hide() |
|
393 self.fontsGroup.hide() |
|
394 self.lineNumbersGroup.hide() |
|
395 |
372 def save(self): |
396 def save(self): |
373 """ |
397 """ |
374 Public slot to save the Editor Styles configuration. |
398 Public slot to save the Editor Styles configuration. |
375 """ |
399 """ |
376 Preferences.setEditor( |
400 Preferences.setEditor( |