.. |
src
|
e53b31c1fb
Rename TerminalWidget -> Terminal.
|
8 年之前 |
index.css
|
c1089ee32b
Clean up style imports
|
8 年之前 |
index.html
|
d515cd4fd6
Update examples
|
8 年之前 |
main.py
|
0c95f6bb71
Use existing terminals_available setting
|
8 年之前 |
package.json
|
cc41caf033
Publish
|
8 年之前 |
webpack.conf.js
|
d573d62a17
Clean up filebrowser and terminal examples
|
8 年之前 |