wangweimin 7b96833885 maint(frontend): use base16-light as codemirror default theme há 5 anos atrás
..
demos ae08a45f3d auto detect session type instead of using `session_type` parameter há 5 anos atrás
html 7b96833885 maint(frontend): use base16-light as codemirror default theme há 5 anos atrás
platform 14215f0ef6 feat: tornado websocket always accept same site há 5 anos atrás
session a96caa931c maint: move `hold()` to session module há 5 anos atrás
__init__.py a96caa931c maint: move `hold()` to session module há 5 anos atrás
__version__.py e632938f24 fix: package name in setup.py há 5 anos atrás
exceptions.py f728eaa65c auto start server in script mode when not explict invoke `start_server` há 5 anos atrás
input.py a96caa931c maint: move `hold()` to session module há 5 anos atrás
io_ctrl.py a96caa931c maint: move `hold()` to session module há 5 anos atrás
output.py ee488935e9 doc: update and fix typo há 5 anos atrás
utils.py 330f76dc57 feat: `session.defer_call(func)` make func invoked when session close há 5 anos atrás