You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Thomas Kluyver a90ee73a80 Update tooltips to refer to shift-tab ... Closes gh-5510		12 years ago
..
auth	fix IPython typo, closes #5155	12 years ago
base	back to dev	12 years ago
custom	update example custom.js	13 years ago
notebook	Update tooltips to refer to shift-tab	12 years ago
services	remove websocket url	12 years ago
style	add modal_stretch class	12 years ago
tree	small whitespace cleanup, renamed drag_info	12 years ago
widgets	Allow '.', '+.', '+', '-.', and '-' even though without numbers, they cannot be parsed.	12 years ago