src/eric7/Preferences/ConfigurationPages/EditorStylesPage.py

branch
eric7
changeset 10135
36839e2c6945
parent 10069
435cc5875135
child 10279
e6e270b705c2
equal deleted inserted replaced
10134:08ca9b336a43 10135:36839e2c6945
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(

eric ide

mercurial