wangweimin d45f59e869 doc: update hace 5 años
..
html 7b96833885 maint(frontend): use base16-light as codemirror default theme hace 5 años
platform 148ebd1e2e fix: error when use flask backend with coroutine based session hace 5 años
session d45f59e869 doc: update hace 5 años
__init__.py a96caa931c maint: move `hold()` to session module hace 5 años
__version__.py e632938f24 fix: package name in setup.py hace 5 años
exceptions.py f728eaa65c auto start server in script mode when not explict invoke `start_server` hace 5 años
input.py c14c996059 maint: change `actions()` buttons option rule hace 5 años
io_ctrl.py a96caa931c maint: move `hold()` to session module hace 5 años
output.py ee488935e9 doc: update and fix typo hace 5 años
utils.py 330f76dc57 feat: `session.defer_call(func)` make func invoked when session close hace 5 años