##// END OF EJS Templates
Fix ConsoleWidget bug: cannot scroll freely with Page Up/Down....
Fix ConsoleWidget bug: cannot scroll freely with Page Up/Down. Closes gh-621.
epatters -
r4279:902e67f7
Show More