mirror of
https://github.com/OpenHands/OpenHands.git
synced 2025-12-26 05:48:36 +08:00
ca424ec15d
Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: openhands <openhands@all-hands.dev> Co-authored-by: Graham Neubig <neubig@gmail.com> Co-authored-by: llamantino <213239228+llamantino@users.noreply.github.com> Co-authored-by: mamoodi <mamoodiha@gmail.com> Co-authored-by: Tim O'Farrell <tofarr@gmail.com> Co-authored-by: Hiep Le <69354317+hieptl@users.noreply.github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Ryan H. Tran <descience.thh10@gmail.com> Co-authored-by: Neeraj Panwar <49247372+npneeraj@users.noreply.github.com> Co-authored-by: sp.wack <83104063+amanape@users.noreply.github.com> Co-authored-by: Insop <1240382+insop@users.noreply.github.com> Co-authored-by: test <test@test.com> Co-authored-by: Engel Nyst <enyst@users.noreply.github.com> Co-authored-by: Zhonghao Jiang <zhonghao.J@outlook.com> Co-authored-by: Ray Myers <ray.myers@gmail.com>
29 lines
1.1 KiB
Python
29 lines
1.1 KiB
Python
from prompt_toolkit.styles import Style, merge_styles
|
|
from prompt_toolkit.styles.defaults import default_ui_style
|
|
|
|
# Centralized helper for CLI styles so we can safely merge our custom colors
|
|
# with prompt_toolkit's default UI style. This preserves completion menu and
|
|
# fuzzy-match visibility across different terminal themes (e.g., Ubuntu).
|
|
|
|
COLOR_GOLD = '#FFD700'
|
|
COLOR_GREY = '#808080'
|
|
COLOR_AGENT_BLUE = '#4682B4' # Steel blue - readable on light/dark backgrounds
|
|
|
|
|
|
def get_cli_style() -> Style:
|
|
base = default_ui_style()
|
|
custom = Style.from_dict(
|
|
{
|
|
'gold': COLOR_GOLD,
|
|
'grey': COLOR_GREY,
|
|
'prompt': f'{COLOR_GOLD} bold',
|
|
# Ensure good contrast for fuzzy matches on the selected completion row
|
|
# across terminals/themes (e.g., Ubuntu GNOME, Alacritty, Kitty).
|
|
# See https://github.com/All-Hands-AI/OpenHands/issues/10330
|
|
'completion-menu.completion.current fuzzymatch.outside': 'fg:#ffffff bg:#888888',
|
|
'selected': COLOR_GOLD,
|
|
'risk-high': '#FF0000 bold', # Red bold for HIGH risk
|
|
}
|
|
)
|
|
return merge_styles([base, custom])
|