Merge remote-tracking branch 'origin/main'

This commit is contained in:
Paul Gauthier 2023-07-05 13:39:49 -07:00
commit ae5b4057e8

View file

@ -145,6 +145,14 @@ def main(args=None, input=None, output=None):
default="blue", default="blue",
help="Set the color for assistant output (default: blue)", help="Set the color for assistant output (default: blue)",
) )
parser.add_argument(
"--code-theme",
default="default",
help=(
"Set the markdown code theme (default: default, other options include monokai,"
" solarized-dark, solarized-light)"
),
)
parser.add_argument( parser.add_argument(
"--apply", "--apply",
metavar="FILE", metavar="FILE",
@ -277,6 +285,7 @@ def main(args=None, input=None, output=None):
map_tokens=args.map_tokens, map_tokens=args.map_tokens,
verbose=args.verbose, verbose=args.verbose,
assistant_output_color=args.assistant_output_color, assistant_output_color=args.assistant_output_color,
code_theme=args.code_theme,
stream=args.stream, stream=args.stream,
use_git=args.git, use_git=args.git,
) )