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, "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"])
