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.

Brian E. Granger 7a2e994a7e Merge pull request #7667 from jdfreder/treeselector ... Dashboard selector dropdown.		11 years ago
..
clusterlist.js	move some responsive bootstrap transitions	12 years ago
kernellist.js	Re-add shutdown button to running tab	11 years ago
main.js	Make time to refresh "configurable", and limit refresh on focus	11 years ago
newnotebook.js	add missing error dialogs to tree actions	11 years ago
notebooklist.js	Merge pull request #7667 from jdfreder/treeselector	11 years ago
sessionlist.js	Animated arrow icon	11 years ago
terminallist.js	New Terminal into new new button	11 years ago