本文整理汇总了Python中prompt_toolkit.token.Token.Scrollbar方法的典型用法代码示例。如果您正苦于以下问题：Python Token.Scrollbar方法的具体用法？Python Token.Scrollbar怎么用？Python Token.Scrollbar使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类prompt_toolkit.token.Token的用法示例。
在下文中一共展示了Token.Scrollbar方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: create_margin
# 需要导入模块: from prompt_toolkit.token import Token [as 别名]
# 或者: from prompt_toolkit.token.Token import Scrollbar [as 别名]
def create_margin(self, cli, window_render_info, width, height):
total_height = window_render_info.content_height
display_arrows = self.display_arrows(cli)
window_height = window_render_info.window_height
if display_arrows:
window_height -= 2
try:
items_per_row = float(total_height) / min(total_height, window_height)
except ZeroDivisionError:
return []
else:
def is_scroll_button(row):
" True if we should display a button on this row. "
current_row_middle = int((row + .5) * items_per_row)
return current_row_middle in window_render_info.displayed_lines
# Up arrow.
result = []
if display_arrows:
result.extend([
(Token.Scrollbar.Arrow, '^'),
(Token.Scrollbar, '\n')
])
# Scrollbar body.
for i in range(window_height):
if is_scroll_button(i):
result.append((Token.Scrollbar.Button, ' '))
else:
result.append((Token.Scrollbar, ' '))
result.append((Token, '\n'))
# Down arrow
if display_arrows:
result.append((Token.Scrollbar.Arrow, 'v'))
return result