9 Commits (c007debe3a4e3416bf0db4e27d0fed64a74dc23f)

Author	SHA1	Message	Date
Thomas Kluyver	316ecf3e54	Address review comments	12 years ago
Thomas Kluyver	c71eea365e	Add submenu under kernel for changing kernel	12 years ago
Thomas Kluyver	72e2c2c6d7	Remove last use of global kernelselector	12 years ago
Thomas Kluyver	76477386ae	Don't refer to global kernelselector object in Session	12 years ago
Matthias BUSSONNIER	849ff3bb05	Simplify and uniformise styling of kernel selector ... Make the theme coherent with the logout button	12 years ago
Thomas Kluyver	c432af1af5	Use JS events for switching kernelspecs	12 years ago
Thomas Kluyver	01d43290af	Remove unused style() function	12 years ago
Thomas Kluyver	9581bd7dc3	Change displayed kernel name when our session is started	12 years ago
Thomas Kluyver	41626420e2	Allow switching kernel from the notebook UI	12 years ago