Brian E. Granger e53b31c1fb Rename TerminalWidget -> Terminal. 8 年之前
..
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 年之前