本文整理匯總了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