Preferences/ConfigurationPages/EditorHighlightingStylesPage.py

changeset 6883
57a2dc333cea
parent 6878
79008f970902
equal deleted inserted replaced
6882:65d1bf4b7427 6883:57a2dc333cea
754 style, substyle = self.__currentStyles() 754 style, substyle = self.__currentStyles()
755 ok = E5MessageBox.yesNo( 755 ok = E5MessageBox.yesNo(
756 self, 756 self,
757 self.tr("Reset Sub-Styles to Default"), 757 self.tr("Reset Sub-Styles to Default"),
758 self.tr("<p>Do you really want to reset all defined sub-styles of" 758 self.tr("<p>Do you really want to reset all defined sub-styles of"
759 " <b>{0}</b> to the default values?</p>""").format( 759 " <b>{0}</b> to the default values?</p>""")
760 self.lexer.description(style, substyle))) 760 .format(self.lexer.description(style, substyle))
761 )
761 if ok: 762 if ok:
762 # 1. reset sub-styles 763 # 1. reset sub-styles
763 self.lexer.loadDefaultSubStyles(style) 764 self.lexer.loadDefaultSubStyles(style)
764 765
765 # 2. delete all existing sub-style items 766 # 2. delete all existing sub-style items

eric ide

mercurial