diff options
author | Jonathan Slenders <jonathan@slenders.be> | 2018-06-02 17:50:20 +0200 |
---|---|---|
committer | Jonathan Slenders <jonathan@slenders.be> | 2018-06-02 17:50:20 +0200 |
commit | cdc2e80199c1a8afc12a7aacebb7c8a09c4fcb53 (patch) | |
tree | 080dac460ff01c9da9d00d9c671594e63afb3f61 | |
parent | f05d54823bf16dd610a59013f8ad430a8dab0e58 (diff) |
Improved search highlight style for dark background.
-rw-r--r-- | prompt_toolkit/styles/defaults.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prompt_toolkit/styles/defaults.py b/prompt_toolkit/styles/defaults.py index a3359f04..3dc7bb52 100644 --- a/prompt_toolkit/styles/defaults.py +++ b/prompt_toolkit/styles/defaults.py @@ -15,7 +15,7 @@ __all__ = [ #: Default styling. Mapping from classnames to their style definition. PROMPT_TOOLKIT_STYLE = [ # Highlighting of search matches in document. - ('search', 'bg:ansibrightyellow'), + ('search', 'bg:ansibrightyellow ansiblack'), ('search.current', ''), # Incremental search. |