8 Commits (0aedf1658f96f2d1825d14df6c745d24daa5c601)

Author	SHA1	Message	Date
Min RK	d48210701f	force Terminal.brokenBold=True ... bold always seems broken	11 years ago
Matthias Bussonnier	4e2dfe2527	Some code cleanup in javascript and python ... change patern that are prone to error, like function redifinition and other.	11 years ago
Jonathan Frederic	79fe99d124	Make terminal pretty	11 years ago
Thomas Kluyver	d352d52bd8	Add comment explaining 1.02 factor	12 years ago
Bussonnier Matthias	1b200e5504	recompute dummy size dynamically + styling in css	12 years ago
Thomas Kluyver	9c0084e615	Multiple terminals and conditional initialisation	12 years ago
Thomas Kluyver	d4676bf2ad	Terminal basically working ... Still need to deal with things like authentication	12 years ago
Thomas Kluyver	d211ebf067	Basic infrastructure for terminal page	12 years ago