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
..
notebook	Merge pull request #1825 from minrk/elide2	14 years ago