12 Commits

Author	SHA1	Message	Date
Min RK	8b93d1561e	disable screenKeys in term.js ... these capture ctrl-a and other keyboard shortcuts	2015-02-11 14:10:12 -08:00
Min RK	4335486bdc	Merge pull request #7263 from takluyver/nb-common-config ... Add common config section for frontend config	2015-01-19 12:22:27 -08:00
Min RK	d48210701f	force Terminal.brokenBold=True ... bold always seems broken	2015-01-13 15:32:40 -08:00
Matthias Bussonnier	4e2dfe2527	Some code cleanup in javascript and python ... change patern that are prone to error, like function redifinition and other.	2014-12-27 21:39:07 +01:00
Jonathan Frederic	79fe99d124	Make terminal pretty	2014-12-18 15:19:35 -08:00
Thomas Kluyver	0c3c3b3c79	Fix instantiating config in editor and terminal	2014-12-17 17:00:47 -08:00
Thomas Kluyver	01331514bd	Load common_config, and load extensions specified therein	2014-12-17 16:46:52 -08:00
Thomas Kluyver	d352d52bd8	Add comment explaining 1.02 factor	2014-10-25 17:15:36 -07:00
Bussonnier Matthias	1b200e5504	recompute dummy size dynamically + styling in css	2014-10-25 17:15:36 -07:00
Thomas Kluyver	9c0084e615	Multiple terminals and conditional initialisation	2014-10-25 17:14:40 -07:00
Thomas Kluyver	d4676bf2ad	Terminal basically working ... Still need to deal with things like authentication	2014-10-25 17:14:40 -07:00
Thomas Kluyver	d211ebf067	Basic infrastructure for terminal page	2014-10-25 17:14:39 -07:00