22 Commits (8ab449cd9aaec6fd151f414d10a29002b136e8cb)

Author	SHA1	Message	Date
Bussonnier Matthias	3bce53e32e	fix logo on base_url prefix	11 years ago
Bussonnier Matthias	07c6dd8b5d	move setting nb.kernelselector inside kernelselector itself	11 years ago
Matthias Bussonnier	912c4bb683	adresses Min comments	11 years ago
Matthias Bussonnier	47822187c1	Fix typos, rephrase english. Thanks Kyle.	11 years ago
Matthias BUSSONNIER	4239dc03f3	load the per kernel kernel.js and kernel.css ... As per discussion, each kernel can provide a file name kernel.js that we try to load at kernel switching. If such a file exist we assume that the kernel pathches the javasscript and that this javascript cannot be unpatched, and further switching of the kernel cannot be undone without reloading the page. (separate PR for UI) if a kernel provide kernel.js, the it should consist into a AMD module definition that uses require.js the module shoudl define a function name `onload` that will be called at the appropriate moment before the kernel starts.	11 years ago
Thomas Kluyver	3e2f6dba98	logo-64 -> logo-64x64	11 years ago
Thomas Kluyver	7cc07251e4	Use double resolution logo to support hires displays	11 years ago
Thomas Kluyver	cad0c32137	Hide kernel logo if it's missing	11 years ago
Thomas Kluyver	f123b0d2ad	Initial support for supplying kernel logos in kernel spec	11 years ago
Min RK	11ef669ec6	kernelspecs is a dict ... sort menus client-side	11 years ago
Min RK	c1a664dfb9	fix event hookup for kernel changed ... event is kernel_created.Session The spec name on the kernel also wasn't being changed when the kernel changed.	11 years ago
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