11 Commits (262bf7d2c94efe9c8174a175deeb013ddf4ec98e)

Author	SHA1	Message	Date
MinRK	072bcdc484	allow kernel_name to be undefined in js ... Falls back to KM.default_kernel_name, as configured server-side.	11 years ago
MinRK	0909694b50	avoid race condition when deleting/starting sessions ... javascript doesn't guarantee the order of AJAX requests, so we give `Session.delete` and `Kernel.kill` a callback signature. Changing the kernel type calls `Notebook.start_kernel`, which terminates the previous session, if defined, before starting the new one. A flag is stored, to prevent multiple simultaneous attempts to start sessions, raising a SessionAlreadyStarting Error, preventing the spec_changed event from firing.	12 years ago
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