def __init__(self): ConfigSet.__init__(self, "Editor", "Editor Settings") self.backgroundColor = ConfigItem(self, "Background Color", "#ffffff") self.identifierColor = ConfigItem(self, "Identifier Color", "#000000") self.keywordColor = ConfigItem(self, "Keyword Color", "#00007f") self.commentColor = ConfigItem(self, "Comment Color", "#007f00") self.stringColor = ConfigItem(self, "String Color", "#7f007f") self.numberColor = ConfigItem(self, "Number Color", "#007f7f") self.preprocessorColor = ConfigItem(self, "Preprocessor Color", "#7f7f00") self.tooltipIndicatorColor = ConfigItem(self, "Tooltip Indicator Color", "#cccccc") Separator(self, None) self.highlightColor = ConfigItem(self, "Highlight Color", "#ffffa0") self.highlightingDuration = ConfigItem( self, "Duration of Highlighting (ms)", 1500) Separator(self, None) self.showWhiteSpaces = ConfigItem(self, "Show White Spaces", False) self.showIndentationGuides = ConfigItem(self, "Show Indentation Guides", False) self.tabWidth = ConfigItem(self, "Tab Width", 4) self.wrapLines = ConfigItem(self, "Wrap Lines", True) self.folding = ConfigItem(self, "Allow Folding", True) # self.font = ConfigItem(self, "Font", ('DejaVu Sans Mono', 10, False, True)) Separator(self, None) self.useBreakpointOverlays = ConfigItem(self, "Use Breakpoint Overlays", True)
def __init__(self): ConfigSet.__init__(self, "Editor", "Editor Settings", Icons.vertical) self.font = ConfigItem(self, "Font", ("DejaVu Sans Mono", 10)) Separator(self, None) self.backgroundColor = ConfigItem(self, "Background Color", "#ffffff") self.identifierColor = ConfigItem(self, "Identifier Color", "#000000") self.keywordColor = ConfigItem(self, "Keyword Color", "#00007f") self.commentColor = ConfigItem(self, "Comment Color", "#007f00") self.stringColor = ConfigItem(self, "String Color", "#7f007f") self.numberColor = ConfigItem(self, "Number Color", "#007f7f") self.preprocessorColor = ConfigItem(self, "Preprocessor Color", "#7f7f00") self.tooltipIndicatorColor = ConfigItem(self, "Tooltip Indicator Color", "#cccccc") Separator(self, None) self.highlightColor = ConfigItem(self, "Highlight Color", "#ffffa0") self.highlightingDuration = ConfigItem(self, "Duration of Highlighting (ms)", 1500) Separator(self, None) self.showWhiteSpaces = ConfigItem(self, "Show White Spaces", False) self.showIndentationGuides = ConfigItem(self, "Show Indentation Guides", False) self.tabWidth = ConfigItem(self, "Tab Width", 4) self.wrapLines = ConfigItem(self, "Wrap Lines", True) self.folding = ConfigItem(self, "Allow Folding", True) self.braceMatching = ConfigItem(self, "Highlight matching braces", False) # self.font = ConfigItem(self, "Font", ('DejaVu Sans Mono', 10, False, True)) Separator(self, None) self.useBreakpointOverlays = ConfigItem(self, "Use Breakpoint Overlays", True) self.showDisassemble = ConfigItem(self, "Show Disassembly", False)
def __init__(self): ConfigSet.__init__(self, "Editor", "Editor Settings") self.backgroundColor = ConfigItem(self, "Background Color", "#ffffff") self.identifierColor = ConfigItem(self, "Identifier Color", "#000000") self.keywordColor = ConfigItem(self, "Keyword Color", "#00007f") self.commentColor = ConfigItem(self, "Comment Color", "#007f00") self.stringColor = ConfigItem(self, "String Color", "#7f007f") self.numberColor = ConfigItem(self, "Number Color", "#007f7f") self.preprocessorColor = ConfigItem(self, "Preprocessor Color", "#7f7f00") self.tooltipIndicatorColor = ConfigItem(self, "Tooltip Indicator Color", "#cccccc") Separator(self, None) self.highlightColor = ConfigItem(self, "Highlight Color", "#ffffa0") self.highlightingDuration = ConfigItem(self, "Duration of Highlighting (ms)", 1500) Separator(self, None) self.showWhiteSpaces = ConfigItem(self, "Show White Spaces", False) self.showIndentationGuides = ConfigItem(self, "Show Indentation Guides", False) self.tabWidth = ConfigItem(self, "Tab Width", 4) self.wrapLines = ConfigItem(self, "Wrap Lines", True) self.folding = ConfigItem(self, "Allow Folding", True)
def __init__(self): ConfigSet.__init__(self, "Variables", "Variable Handling Settings") self.mergeBaseClassMembers = ConfigItem( self, "Merge base class members into class", True)
def __init__(self): ConfigSet.__init__(self, "Quick Watch", "Quick Watch Settings", Icons.watch) self.addTo = SelectionConfigItem(self, "Enter adds element to...", "nothing", ["nothing", "Watch View", "Data Graph View"])
def __init__(self): ConfigSet.__init__(self, "Navigation Plugin", "Navigation Plugin Settings", Icons.navigation) self.groupByFiles = ConfigItem(self, "Group by Files", True) self.ignorePaths = ConfigItem(self, "Ignore Files in Paths", "/usr:/opt")
def __init__(self): ConfigSet.__init__(self, "Data Graph", "Data Graph Options", Icons.datagraph) self.showAccess = ConfigItem(self, "Show access type (public, private, protected)", True)
def __init__(self): ConfigSet.__init__(self, "Debugging", "Debugging Options") self.breakAtMain = ConfigItem(self, "Break at main function", True)
def __init__(self): ConfigSet.__init__(self, "Variables", "Variable Handling Settings", Icons.var) self.mergeBaseClassMembers = ConfigItem(self, "Merge base class members into class", True)
def __init__(self): ConfigSet.__init__(self, "Quick Watch", "Quick Watch Settings") self.addTo = SelectionConfigItem( self, "Enter adds element to...", "nothing", ["nothing", "Watch View", "Data Graph View"])