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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
|
from __future__ import unicode_literals
from ..enums import IncrementalSearchDirection
from .processors import BeforeInput
from .lexers import SimpleLexer
from .dimension import LayoutDimension
from .controls import BufferControl, TokenListControl, UIControl, UIContent
from .containers import Window, ConditionalContainer
from .screen import Char
from .utils import token_list_len
from prompt_toolkit.enums import SEARCH_BUFFER, SYSTEM_BUFFER
from prompt_toolkit.filters import HasFocus, HasArg, HasCompletions, HasValidationError, HasSearch, Always, IsDone
from prompt_toolkit.token import Token
__all__ = (
'TokenListToolbar',
'ArgToolbar',
'CompletionsToolbar',
'SearchToolbar',
'SystemToolbar',
'ValidationToolbar',
)
class TokenListToolbar(ConditionalContainer):
def __init__(self, get_tokens, filter=Always(), **kw):
super(TokenListToolbar, self).__init__(
content=Window(
TokenListControl(get_tokens, **kw),
height=LayoutDimension.exact(1)),
filter=filter)
class SystemToolbarControl(BufferControl):
def __init__(self):
token = Token.Toolbar.System
super(SystemToolbarControl, self).__init__(
buffer_name=SYSTEM_BUFFER,
default_char=Char(token=token),
lexer=SimpleLexer(token=token.Text),
input_processors=[BeforeInput.static('Shell command: ', token)],)
class SystemToolbar(ConditionalContainer):
def __init__(self):
super(SystemToolbar, self).__init__(
content=Window(
SystemToolbarControl(),
height=LayoutDimension.exact(1)),
filter=HasFocus(SYSTEM_BUFFER) & ~IsDone())
class ArgToolbarControl(TokenListControl):
def __init__(self):
def get_tokens(cli):
arg = cli.input_processor.arg
if arg == '-':
arg = '-1'
return [
(Token.Toolbar.Arg, 'Repeat: '),
(Token.Toolbar.Arg.Text, arg),
]
super(ArgToolbarControl, self).__init__(get_tokens)
class ArgToolbar(ConditionalContainer):
def __init__(self):
super(ArgToolbar, self).__init__(
content=Window(
ArgToolbarControl(),
height=LayoutDimension.exact(1)),
filter=HasArg())
class SearchToolbarControl(BufferControl):
"""
:param vi_mode: Display '/' and '?' instead of I-search.
"""
def __init__(self, vi_mode=False):
token = Token.Toolbar.Search
def get_before_input(cli):
if not cli.is_searching:
text = ''
elif cli.search_state.direction == IncrementalSearchDirection.BACKWARD:
text = ('?' if vi_mode else 'I-search backward: ')
else:
text = ('/' if vi_mode else 'I-search: ')
return [(token, text)]
super(SearchToolbarControl, self).__init__(
buffer_name=SEARCH_BUFFER,
input_processors=[BeforeInput(get_before_input)],
default_char=Char(token=token),
lexer=SimpleLexer(token=token.Text))
class SearchToolbar(ConditionalContainer):
def __init__(self, vi_mode=False):
super(SearchToolbar, self).__init__(
content=Window(
SearchToolbarControl(vi_mode=vi_mode),
height=LayoutDimension.exact(1)),
filter=HasSearch() & ~IsDone())
class CompletionsToolbarControl(UIControl):
token = Token.Toolbar.Completions
def create_content(self, cli, width, height):
complete_state = cli.current_buffer.complete_state
if complete_state:
completions = complete_state.current_completions
index = complete_state.complete_index # Can be None!
# Width of the completions without the left/right arrows in the margins.
content_width = width - 6
# Booleans indicating whether we stripped from the left/right
cut_left = False
cut_right = False
# Create Menu content.
tokens = []
for i, c in enumerate(completions):
# When there is no more place for the next completion
if token_list_len(tokens) + len(c.display) >= content_width:
# If the current one was not yet displayed, page to the next sequence.
if i <= (index or 0):
tokens = []
cut_left = True
# If the current one is visible, stop here.
else:
cut_right = True
break
tokens.append((self.token.Completion.Current if i == index else self.token.Completion, c.display))
tokens.append((self.token, ' '))
# Extend/strip until the content width.
tokens.append((self.token, ' ' * (content_width - token_list_len(tokens))))
tokens = tokens[:content_width]
# Return tokens
all_tokens = [
(self.token, ' '),
(self.token.Arrow, '<' if cut_left else ' '),
(self.token, ' '),
] + tokens + [
(self.token, ' '),
(self.token.Arrow, '>' if cut_right else ' '),
(self.token, ' '),
]
else:
all_tokens = []
def get_line(i):
return all_tokens
return UIContent(get_line=get_line, line_count=1)
class CompletionsToolbar(ConditionalContainer):
def __init__(self, extra_filter=Always()):
super(CompletionsToolbar, self).__init__(
content=Window(
CompletionsToolbarControl(),
height=LayoutDimension.exact(1)),
filter=HasCompletions() & ~IsDone() & extra_filter)
class ValidationToolbarControl(TokenListControl):
def __init__(self, show_position=False):
token = Token.Toolbar.Validation
def get_tokens(cli):
buffer = cli.current_buffer
if buffer.validation_error:
row, column = buffer.document.translate_index_to_position(
buffer.validation_error.cursor_position)
if show_position:
text = '%s (line=%s column=%s)' % (
buffer.validation_error.message, row + 1, column + 1)
else:
text = buffer.validation_error.message
return [(token, text)]
else:
return []
super(ValidationToolbarControl, self).__init__(get_tokens)
class ValidationToolbar(ConditionalContainer):
def __init__(self, show_position=False):
super(ValidationToolbar, self).__init__(
content=Window(
ValidationToolbarControl(show_position=show_position),
height=LayoutDimension.exact(1)),
filter=HasValidationError() & ~IsDone())
|
