gamzinav/pudb
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Rename bp_star attr to breakpoint marker

Browse Source
This commit is contained in:
Andreas Kloeckner 2013-11-08 16:14:06 -06:00
parent f5361bd635
commit ac06baa41e
2 changed files with 11 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pudb/source_view.py
View File

@ -79,7 +79,7 @@ class SourceLine(urwid.FlowWidget):
text = self.line_nr + text
text = crnt+bp+text
attr = [("source", 1), ("bp_star", 1)] + attr
attr = [("source", 1), ("breakpoint marker", 1)] + attr
# clipping ------------------------------------------------------------
if len(text) > maxcol:

15
pudb/theme.py
View File

@ -77,6 +77,8 @@ def get_palette(may_use_fancy_formats, theme="classic"):
# {{{ breakpoints
("breakpoint marker", "dark red", "dark blue"),
("breakpoint source", add_setting("yellow", "bold"), "dark red"),
("breakpoint focused source", "black", "dark red"),
("current breakpoint source", "black", "dark red"),
@ -128,7 +130,6 @@ def get_palette(may_use_fancy_formats, theme="classic"):
# }}}
("bp_star", "dark red", "dark blue"),
]
palette_dict = dict(
@ -155,7 +156,7 @@ def get_palette(may_use_fancy_formats, theme="classic"):
"classname": ("dark cyan", "default"),
"name": ("dark cyan", "default"),
"line number": ("dark gray", "default"),
"bp_star": ("dark red", "default"),
"breakpoint marker": ("dark red", "default"),
})
# }}}
elif theme == "dark vim":
@ -244,6 +245,8 @@ def get_palette(may_use_fancy_formats, theme="classic"):
# {{{ source view
"breakpoint marker": ("dark red", "black"),
"breakpoint source": ("light gray", "dark red"),
"breakpoint focused source": ("black", "dark red"),
"current breakpoint source": ("black", "dark red"),
@ -251,7 +254,8 @@ def get_palette(may_use_fancy_formats, theme="classic"):
# }}}
# highlighting
# {{{ highlighting
"source": ("white", "black"),
"focused source": ("white", "light blue"),
"highlighted source": ("black", "dark magenta"),
@ -271,7 +275,9 @@ def get_palette(may_use_fancy_formats, theme="classic"):
"name": ("light cyan", "black"),
"punctuation": ("yellow", "black"),
"comment": ("light blue", "black"),
"bp_star": ("dark red", "black"),
# }}}
})
# }}}
@ -318,7 +324,6 @@ def get_palette(may_use_fancy_formats, theme="classic"):
"comment": ("dark green", "default"),
"classname": ("dark cyan", "default"),
"funcname": ("white", "default"),
"bp_star": ("dark red", "default"),
})