Python make_ok_box Examples

Example #1

File: _wrappers.py Project: YannThorimbert/TheRule

def make_global_display_options(fn, text):
    """Returns a button to launch font and display options"""
    from thorpy.miscgui.launchers.launcher import make_ok_box, make_launcher
    font_options = make_font_options_setter(fn, "Font options")
    disp_options = make_display_options_setter(fn, "Display options")
    box = make_ok_box([disp_options, font_options], "Return")
    return make_launcher(box, text)

Example #2

def make_alert(text, font_size=None, font_color=None, ok_text="Ok"):
    if font_size is None: font_size = style.FONT_SIZE
    if font_color is None: font_color = style.FONT_COLOR
    from thorpy.miscgui.launchers.launcher import make_ok_box
    e_text = make_text(text, font_size, font_color)
    box = make_ok_box([e_text], ok_text=ok_text)
    return box

Example #3

def make_alert(title, text, font_size=None, font_color=None, ok_text="Ok"):
    from thorpy.miscgui.launchers.launcher import make_ok_box
    e_title = thorpy.make_text(title, thorpy.style.TITLE_FONT_SIZE,
                               (255, 0, 0))
    e_text = thorpy.make_text(text, font_size, font_color)
    box = make_ok_box([e_title, e_text], ok_text=ok_text)
    return box

Example #4

File: _wrappers.py Project: YannThorimbert/Thorpy-1.5.2a

def make_global_display_options(fn, text):
    from thorpy.miscgui.launchers.launcher import make_ok_box, make_launcher
    font_options = make_font_options_setter(fn, "Font options")
    disp_options = make_display_options_setter(fn, "Display options")
    box = make_ok_box([disp_options, font_options], "Return")
    return make_launcher(box, text)
##    return box

Example #5

File: _wrappers.py Project: YannThorimbert/Thorpy-1.5.2a

def make_alert(text, font_size=None, font_color=None, ok_text="Ok"):
    if font_size is None: font_size = style.FONT_SIZE
    if font_color is None: font_color = style.FONT_COLOR
    from thorpy.miscgui.launchers.launcher import make_ok_box
    e_text = make_text(text, font_size, font_color)
    box = make_ok_box([e_text], ok_text=ok_text)
    return box

Example #6

File: _wrappers.py Project: auneselva/pygame_shoot_out_zombies_ai

def get_user_text(title, value, size=(None, None)):
    from thorpy.miscgui.launchers.launcher import make_ok_box, auto_ok, launch_blocking
    ins = Inserter.make(title, value=value, size=size)
    box = make_ok_box([ins])
    auto_ok(box)
    box.center()
    ins.enter()
    launch_blocking(box)
    return ins.get_value()

Example #7

File: dialog.py Project: auneselva/pygame_shoot_out_zombies_ai

def make_textbox(title,
                 text,
                 font_size=None,
                 font_color=None,
                 ok_text="Ok",
                 hline=0,
                 elements=None):
    from thorpy.miscgui.launchers.launcher import make_ok_box
    els = []
    if title:
        els += [
            thorpy.make_text(title, thorpy.style.TITLE_FONT_SIZE, (255, 0, 0))
        ]
    if hline < 0:
        els += [thorpy.Line.make(e_title.get_size()[0], "h")]
    elif hline > 0:
        els += [thorpy.Line.make(hline, "h")]
    if text:
        els += [thorpy.make_text(text, font_size, font_color)]
    if elements is None: elements = []
    els += elements
    box = make_ok_box(els, ok_text=ok_text)
    return box