##// END OF EJS Templates
toggle scroll from auto based on current scroll...
Min RK -
Show More
@@ -188,7 +188,7 b' define(['
188
188
189 OutputArea.prototype.toggle_scroll = function () {
189 OutputArea.prototype.toggle_scroll = function () {
190 if (this.scroll_state == 'auto') {
190 if (this.scroll_state == 'auto') {
191 this.scroll_state = false;
191 this.scroll_state = !this.scrolled;
192 } else {
192 } else {
193 this.scroll_state = !this.scroll_state;
193 this.scroll_state = !this.scroll_state;
194 }
194 }
General Comments 0
You need to be logged in to leave comments. Login now