wangweimin a976b00b0a feat: use environ to set port in script mode 5 ani în urmă
..
html 7b96833885 maint(frontend): use base16-light as codemirror default theme 5 ani în urmă
platform a976b00b0a feat: use environ to set port in script mode 5 ani în urmă
session a96caa931c maint: move `hold()` to session module 5 ani în urmă
__init__.py a96caa931c maint: move `hold()` to session module 5 ani în urmă
__version__.py e632938f24 fix: package name in setup.py 5 ani în urmă
exceptions.py f728eaa65c auto start server in script mode when not explict invoke `start_server` 5 ani în urmă
input.py c14c996059 maint: change `actions()` buttons option rule 5 ani în urmă
io_ctrl.py a96caa931c maint: move `hold()` to session module 5 ani în urmă
output.py ee488935e9 doc: update and fix typo 5 ani în urmă
utils.py 330f76dc57 feat: `session.defer_call(func)` make func invoked when session close 5 ani în urmă