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.

Min RK 3f3f3c136e Merge pull request #5436 from ivanov/cm-shorcuts-quickhelp ... CodeMirror shortcuts in QuickHelp		12 years ago
..
auth	fix IPython typo, closes #5155	12 years ago
base	Merge pull request #5449 from minrk/quickhelp-stretch	12 years ago
custom	update example custom.js	13 years ago
notebook	Merge pull request #5436 from ivanov/cm-shorcuts-quickhelp	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