diff options
| author | Jonathan Slenders <jonathan@slenders.be> | 2018-05-24 22:33:17 +0200 |
|---|---|---|
| committer | Jonathan Slenders <jonathan@slenders.be> | 2018-05-24 22:33:37 +0200 |
| commit | cb4942775149c738c876cc934dddcc2e1c605031 (patch) | |
| tree | b1d87949739ffef6155de34984138607d62a43bf | |
| parent | 24512aac081d1e30ad52805606b42411f1aed861 (diff) | |
Removed 'underline' style for start/end of scrollbar by default.
| -rw-r--r-- | prompt_toolkit/styles/defaults.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/prompt_toolkit/styles/defaults.py b/prompt_toolkit/styles/defaults.py index c81194a1..283a0521 100644 --- a/prompt_toolkit/styles/defaults.py +++ b/prompt_toolkit/styles/defaults.py @@ -82,10 +82,13 @@ PROMPT_TOOLKIT_STYLE = [ # Scrollbars. ('scrollbar.background', ''), ('scrollbar.button', 'bg:#888888'), - ('scrollbar.start', 'underline #ffffff'), - ('scrollbar.end', 'underline #000000'), ('scrollbar.arrow', 'noinherit bold'), + # Start/end of scrollbars. Adding 'underline' here provides a nice little + # detail to the progress bar, but it doesn't look good on all terminals. + # ('scrollbar.start', 'underline #ffffff'), + # ('scrollbar.end', 'underline #000000'), + # Auto suggestion text. ('auto-suggestion', '#666666'), |