def __init__(self, body, padding=None,
padding_left=None, padding_right=None,
padding_top=None, padding_bottom=None,
width=None, height=None,
style='', char=None, modal=False, key_bindings=None):
assert is_container(body)
if padding is None:
padding = D(preferred=0)
def get(value):
if value is None:
value = padding
return to_dimension(value)
self.padding_left = get(padding_left)
self.padding_right = get(padding_right)
self.padding_top = get(padding_top)
self.padding_bottom = get(padding_bottom)
self.body = body
self.container = HSplit([
Window(height=self.padding_top, char=char),
VSplit([
Window(width=self.padding_left, char=char),
body,
Window(width=self.padding_right, char=char),
]),
Window(height=self.padding_bottom, char=char),
],
width=width, height=height, style=style, modal=modal,
key_bindings=None)
def __init__(self, body, padding=None,
padding_left=None, padding_right=None,
padding_top=None, padding_bottom=None,
width=None, height=None,
style='', char=None, modal=False, key_bindings=None):
assert is_container(body)
if padding is None:
padding = D(preferred=0)
def get(value):
if value is None:
value = padding
return to_dimension(value)
self.padding_left = get(padding_left)
self.padding_right = get(padding_right)
self.padding_top = get(padding_top)
self.padding_bottom = get(padding_bottom)
self.body = body
self.container = HSplit([
Window(height=self.padding_top, char=char),
VSplit([
Window(width=self.padding_left, char=char),
body,
Window(width=self.padding_right, char=char),
]),
Window(height=self.padding_bottom, char=char),
],
width=width, height=height, style=style, modal=modal,
key_bindings=None)
def __init__(self, body):
assert is_container(body)
self.container = FloatContainer(
content=body,
floats=[
Float(bottom=-1, height=1, left=1, right=-1,
transparent=True,
content=Window(style='class:shadow')),
Float(bottom=-1, top=1, width=1, right=-1,
transparent=True,
content=Window(style='class:shadow')),
]
)
def __init__(self, body):
assert is_container(body)
self.container = FloatContainer(
content=body,
floats=[
Float(bottom=-1, height=1, left=1, right=-1,
transparent=True,
content=Window(style='class:shadow')),
Float(bottom=-1, top=1, width=1, right=-1,
transparent=True,
content=Window(style='class:shadow')),
]
)
def __init__(self,
body,
title='',
style='',
width=None,
height=None,
key_bindings=None,
modal=False):
assert is_container(body)
assert is_formatted_text(title)
assert isinstance(style, six.text_type)
assert is_dimension(width)
assert is_dimension(height)
assert key_bindings is None or isinstance(key_bindings, KeyBindings)
assert isinstance(modal, bool)
fill = partial(Window, style='class:frame.border')
style = 'class:frame ' + style
if title:
top_row = VSplit([
fill(width=1, height=1, char=Border.TOP_LEFT),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char='|'),
Label(Template(' {} ').format(title),
style='class:frame.label',
dont_extend_width=True),
fill(width=1, height=1, char='|'),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char=Border.TOP_RIGHT),
],
height=1)
else:
top_row = VSplit([
fill(width=1, height=1, char=Border.TOP_LEFT),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char=Border.TOP_RIGHT),
],
height=1)
self.container = HSplit(
[
top_row,
VSplit(
[
fill(width=1, char=Border.VERTICAL),
body,
fill(width=1, char=Border.VERTICAL),
# Padding is required to make sure that if the content is
# too small, that the right frame border is still aligned.
],
padding=0),
VSplit([
fill(width=1, height=1, char=Border.BOTTOM_LEFT),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char=Border.BOTTOM_RIGHT),
]),
],
width=width,
height=height,
style=style,
key_bindings=key_bindings,
modal=modal)
def __init__(self,
body,
title='',
style='',
width=None,
height=None,
key_bindings=None,
modal=False):
assert is_container(body)
assert is_formatted_text(title)
assert isinstance(style, six.text_type)
assert is_dimension(width)
assert is_dimension(height)
assert key_bindings is None or isinstance(key_bindings, KeyBindings)
assert isinstance(modal, bool)
self.title = title
self.body = body
fill = partial(Window, style='class:frame.border')
style = 'class:frame ' + style
top_row_with_title = VSplit(
[
fill(width=1, height=1, char=Border.TOP_LEFT),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char='|'),
# Notice: we use `Template` here, because `self.title` can be an
# `HTML` object for instance.
Label(lambda: Template(' {} ').format(self.title),
style='class:frame.label',
dont_extend_width=True),
fill(width=1, height=1, char='|'),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char=Border.TOP_RIGHT),
],
height=1)
top_row_without_title = VSplit([
fill(width=1, height=1, char=Border.TOP_LEFT),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char=Border.TOP_RIGHT),
],
height=1)
@Condition
def has_title():
return bool(self.title)
self.container = HSplit(
[
ConditionalContainer(content=top_row_with_title,
filter=has_title),
ConditionalContainer(content=top_row_without_title,
filter=~has_title),
VSplit(
[
fill(width=1, char=Border.VERTICAL),
DynamicContainer(lambda: self.body),
fill(width=1, char=Border.VERTICAL),
# Padding is required to make sure that if the content is
# too small, that the right frame border is still aligned.
],
padding=0),
VSplit([
fill(width=1, height=1, char=Border.BOTTOM_LEFT),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char=Border.BOTTOM_RIGHT),
]),
],
width=width,
height=height,
style=style,
key_bindings=key_bindings,
modal=modal)
def __init__(self, body, title='', style='', width=None, height=None,
key_bindings=None, modal=False):
assert is_container(body)
#assert is_formatted_text(title)
assert isinstance(style, six.text_type)
assert is_dimension(width)
assert is_dimension(height)
assert key_bindings is None or isinstance(key_bindings, KeyBindings)
assert isinstance(modal, bool)
self.title = title
self.body = body
fill = partial(Window, style='class:frame.border')
style = 'class:frame ' + style
top_row_with_title = VSplit([
fill(width=1, height=1, char=Border.TOP_LEFT),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char='|'),
# Notice: we use `Template` here, because `self.title` can be an
# `HTML` object for instance.
Label(lambda: Template(' {} ').format(self.title),
style='class:frame.label',
dont_extend_width=True),
fill(width=1, height=1, char='|'),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char=Border.TOP_RIGHT),
], height=1)
top_row_without_title = VSplit([
fill(width=1, height=1, char=Border.TOP_LEFT),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char=Border.TOP_RIGHT),
], height=1)
@Condition
def has_title():
return bool(self.title)
self.container = HSplit([
ConditionalContainer(
content=top_row_with_title,
filter=has_title),
ConditionalContainer(
content=top_row_without_title,
filter= has_title), #
VSplit([
fill(width=1, char=Border.VERTICAL),
DynamicContainer(lambda: self.body),
fill(width=1, char=Border.VERTICAL),
# Padding is required to make sure that if the content is
# too small, that the right frame border is still aligned.
], padding=0),
VSplit([
fill(width=1, height=1, char=Border.BOTTOM_LEFT),
fill(char=Border.HORIZONTAL),
fill(width=1, height=1, char=Border.BOTTOM_RIGHT),
]),
], width=width, height=height, style=style, key_bindings=key_bindings,
modal=modal)
