12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182 |
- from tornado import gen
- from tornado.ioloop import IOLoop
- from tornado import websocket
- import json
- from wsrepl.ioloop import start_ioloop
- from wsrepl.interact import *
- from wsrepl.output import *
- from tornado.gen import sleep
- # 业务逻辑 协程
- async def say_hello():
- """
- 有返回值的交互函数需要yield from
- :return:
- """
- set_title("This is title")
- # 向用户输出文字
- text_print("Welcome!!!")
- put_table([[str(i)] * 4 for i in range(5)])
- res = await textarea('Text area', value='value',codemirror={
- 'mode': "python",
- 'theme': 'darcula', # 使用monokai模版 ,darcula:IDEA,
- })
- text_print(res)
- res = await actions('Action button', [
- {'value': '1', 'label': 'One', 'disabled': False},
- {'value': '2', 'label': 'Two', 'disabled': False},
- {'value': '3', 'label': 'Three', 'disabled': True},
- ])
- text_print('Your input:%s' % res)
- res = await select('This is select input', [
- {'value': 1, 'label': 'one', 'selected': False, 'disabled': False},
- {'value': 2, 'label': 'two', 'selected': True, 'disabled': False},
- {'value': 2, 'label': 'three disabled', 'selected': False, 'disabled': True},
- ], type=SELECT, multiple=False)
- text_print('Your input:%s' % res)
- res = await select('This is multiple select input', [
- {'value': 1, 'label': 'one', 'selected': True, 'disabled': False},
- {'value': 2, 'label': 'two', 'selected': True, 'disabled': False},
- {'value': 2, 'label': 'three disabled', 'selected': False, 'disabled': True},
- ], type=SELECT, multiple=True)
- text_print('Your input:%s' % res)
- res = await select('This is RADIO input', [
- {'value': 1, 'label': 'one', 'selected': False, 'disabled': False},
- {'value': 2, 'label': 'two', 'selected': True, 'disabled': False},
- {'value': 2, 'label': 'three disabled', 'selected': False, 'disabled': True},
- ], type=RADIO)
- text_print('Your input:%s' % res)
- res = await select('This is CHECKBOX input', [
- {'value': 1, 'label': 'one', 'selected': False, 'disabled': False},
- {'value': 2, 'label': 'two', 'selected': True, 'disabled': False},
- {'value': 2, 'label': 'three disabled', 'selected': False, 'disabled': True},
- ], type=CHECKBOX)
- text_print('Your input:%s' % res)
- res = await input('This is single input')
- text_print('Your input:%s' % res)
- res = await input('This is another single input')
- text_print('Your input:%s' % res)
- res = await input_group('Group input', [
- input('Input 1', name='one'),
- input('Input 2', name='two'),
- select('Input 2', options=['A', 'B', 'C'], type=CHECKBOX, name='three')
- ])
- text_print('Your input:')
- json_print(res)
- start_ioloop(say_hello)
|