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.

Matthias Bussonnier ceef803109 Merge pull request #3369 from Carreau/auto-scroll ... Use different treshold for (auto)scroll in output Use different treshold for (auto)scroll in output Allow, in particular to switch to scolling for longer input (or disable it) by still keeping the possibility to manually toggle the output to scroll. cf jsdoc, OutputArea.auto_scroll_threshold and OutputArea.minimum_scroll_threshold OutputArea.auto_scroll_threshold < 0 will prevent auto_scroll from ever happening.		13 years ago
..
notebook	Merge pull request #3369 from Carreau/auto-scroll	13 years ago