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