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 137f4cb441 Merge pull request #1825 from minrk/elide2 ... second attempt at scrolled long output Some amount of CSS tweaking will probably want to be done before 0.13 final, but this is good enough for beta. closes #1553		14 years ago
..
codemirror/mode/python	Updating CodeMirror to latest to incorporate bug fixes.	14 years ago
css	Merge pull request #1825 from minrk/elide2	14 years ago
js	Merge pull request #1825 from minrk/elide2	14 years ago
favicon.ico	More review changes.	15 years ago