From 7f0d08ad77462dd9d36a3170d24e89168020f5fb Mon Sep 17 00:00:00 2001 From: Evan Johnson Date: Tue, 17 Dec 2024 13:18:31 -0700 Subject: [PATCH] doc that Pygments styles can be used for --code-theme --- aider/args.py | 3 ++- aider/website/docs/config/options.md | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/aider/args.py b/aider/args.py index 529ffffb8..2ba98853d 100644 --- a/aider/args.py +++ b/aider/args.py @@ -427,7 +427,8 @@ def get_parser(default_config_files, git_root): default="default", help=( "Set the markdown code theme (default: default, other options include monokai," - " solarized-dark, solarized-light)" + " solarized-dark, solarized-light, or a Pygments builtin style," + " see https://pygments.org/styles for available themes)" ), ) group.add_argument( diff --git a/aider/website/docs/config/options.md b/aider/website/docs/config/options.md index 529bfbcb8..bee47b8b2 100644 --- a/aider/website/docs/config/options.md +++ b/aider/website/docs/config/options.md @@ -381,7 +381,7 @@ Set the background color for the current item in the completion menu (default: t Environment variable: `AIDER_COMPLETION_MENU_CURRENT_BG_COLOR` ### `--code-theme VALUE` -Set the markdown code theme (default: default, other options include monokai, solarized-dark, solarized-light) +Set the markdown code theme (default: default, other options include monokai, solarized-dark, solarized-light, or a Pygments builtin style, see [https://pygments.org/styles](https://pygments.org/styles) for available themes) Default: default Environment variable: `AIDER_CODE_THEME`