1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
#!/usr/bin/env python
"""
Example of a right prompt. This is an additional prompt that is displayed on
the right side of the terminal. It will be hidden automatically when the input
is long enough to cover the right side of the terminal.
This is similar to RPROMPT is Zsh.
"""
from prompt_toolkit import prompt
from prompt_toolkit.formatted_text import ANSI, HTML
from prompt_toolkit.styles import Style
example_style = Style.from_dict(
{
# The 'rprompt' gets by default the 'rprompt' class. We can use this
# for the styling.
"rprompt": "bg:#ff0066 #ffffff",
}
)
def get_rprompt_text():
return [
("", " "),
("underline", "<rprompt>"),
("", " "),
]
def main():
# Option 1: pass a string to 'rprompt':
answer = prompt("> ", rprompt=" <rprompt> ", style=example_style)
print("You said: %s" % answer)
# Option 2: pass HTML:
answer = prompt("> ", rprompt=HTML(" <u><rprompt></u> "), style=example_style)
print("You said: %s" % answer)
# Option 3: pass ANSI:
answer = prompt(
"> ", rprompt=ANSI(" \x1b[4m<rprompt>\x1b[0m "), style=example_style
)
print("You said: %s" % answer)
# Option 4: Pass a callable. (This callable can either return plain text,
# an HTML object, an ANSI object or a list of (style, text)
# tuples.
answer = prompt("> ", rprompt=get_rprompt_text, style=example_style)
print("You said: %s" % answer)
if __name__ == "__main__":
main()
|
