Change colors fix context manager
This commit is contained in:
parent
c84ce4ca72
commit
3f0338f11d
|
@ -10,16 +10,16 @@ from prompt_toolkit.styles import Style
|
|||
|
||||
style = Style.from_dict(
|
||||
{
|
||||
"title": "#D08770 underline",
|
||||
"title": "#FF8400 underline",
|
||||
"label": "#D8DEE9 bold",
|
||||
"percentage": "#D08770",
|
||||
"bar-a": "bg:#D08770 #D08770",
|
||||
"bar-b": "bg:#D08770 #2E3440",
|
||||
"percentage": "#FF8400",
|
||||
"bar-a": "bg:#FF8400 #FF8400",
|
||||
"bar-b": "bg:#FF8400 #2E3440",
|
||||
"bar-c": "#D8DEE9",
|
||||
"current": "#D8DEE9",
|
||||
"total": "#D08770",
|
||||
"total": "#FF8400",
|
||||
"time-elapsed": "#D8DEE9",
|
||||
"time-left": "#D08770",
|
||||
"time-left": "#FF8400",
|
||||
}
|
||||
)
|
||||
|
||||
|
|
|
@ -38,12 +38,12 @@ class JQLLexer(RegexLexer):
|
|||
|
||||
nord_style = Style.from_dict({
|
||||
'pygments.whitespace': '#FFFFFF',
|
||||
'pygments.operator': '#B48EAD',
|
||||
'pygments.operator': '#EBCB8B',
|
||||
'pygments.keyword': '#81A1C1 bold',
|
||||
'pygments.punctuation': '#BF616A',
|
||||
'pygments.name.attribute': '#A3BE8C',
|
||||
'pygments.name.function': '#B48EAD',
|
||||
'pygments.string': '#EBCB8B',
|
||||
'pygments.string': '#D8DEE9',
|
||||
'pygments.text': '#D8DEE9',
|
||||
})
|
||||
|
||||
|
|
|
@ -83,8 +83,7 @@ class Forge:
|
|||
print(f"Fast tasks: {self.fast_task_count}")
|
||||
print(f"Slow tasks: {self.slow_task_count}")
|
||||
print(f"Total tasks: {self.total_tasks}")
|
||||
with patch_stdout():
|
||||
with ProgressBar(
|
||||
with patch_stdout(), ProgressBar(
|
||||
title="Forge",
|
||||
formatters=custom_formatters,
|
||||
style=style,
|
||||
|
|
Loading…
Reference in New Issue