##// END OF EJS Templates
Highlight the executing node with stack_data
Alex Hall -
Show More
@@ -98,6 +98,7 b' import traceback'
98
98
99 import stack_data
99 import stack_data
100 from pygments.formatters.terminal256 import Terminal256Formatter
100 from pygments.formatters.terminal256 import Terminal256Formatter
101 from pygments.styles import get_style_by_name
101
102
102 # IPython's own modules
103 # IPython's own modules
103 from IPython import get_ipython
104 from IPython import get_ipython
@@ -714,7 +715,9 b' class VerboseTB(TBTools):'
714 after = context // 2
715 after = context // 2
715 before = context - after
716 before = context - after
716 if self.has_colors:
717 if self.has_colors:
717 formatter = Terminal256Formatter()
718 style = get_style_by_name('default')
719 style = stack_data.style_with_executing_node(style, 'bg:#00005f')
720 formatter = Terminal256Formatter(style=style)
718 else:
721 else:
719 formatter = None
722 formatter = None
720 options = stack_data.Options(
723 options = stack_data.Options(
General Comments 0
You need to be logged in to leave comments. Login now