Issue #24820: Users can now set breakpoint colors in Settings ->

Custom Highlighting.  Original patch by Mark Roseman.
This commit is contained in:
Terry Jan Reedy 2015-10-02 22:12:09 -04:00
parent 65918e01be
commit c30475e755
1 changed files with 16 additions and 14 deletions

View File

@ -50,10 +50,11 @@ class ConfigDialog(Toplevel):
'Selected Text': ('hilite', '06'),
'Found Text': ('hit', '07'),
'Cursor': ('cursor', '08'),
'Error Text':('error', '09'),
'Editor Breakpoint': ('break', '09'),
'Shell Normal Text': ('console', '10'),
'Shell Stdout Text':('stdout', '11'),
'Shell Stderr Text':('stderr', '12'),
'Shell Error Text': ('error', '11'),
'Shell Stdout Text': ('stdout', '12'),
'Shell Stderr Text': ('stderr', '13'),
}
self.ResetChangedItems() #load initial values in changed items dict
self.CreateWidgets()
@ -217,7 +218,8 @@ class ConfigDialog(Toplevel):
("'selected'", 'hilite'), ('\n var2 = ', 'normal'),
("'found'", 'hit'), ('\n var3 = ', 'normal'),
('list', 'builtin'), ('(', 'normal'),
('None', 'builtin'), (')\n\n', 'normal'),
('None', 'builtin'), (')\n', 'normal'),
(' breakpoint("line")', 'break'), ('\n\n', 'normal'),
(' error ', 'error'), (' ', 'normal'),
('cursor |', 'cursor'), ('\n ', 'normal'),
('shell', 'console'), (' ', 'normal'),