console: scroll wheel doesn't scroll the history
This used to work before. Check if it's a platform problem or if it got lost somehow.
Leave a comment
on 2013-05-22 14:49 *
By Vlad Dumitrescu
Found in version changed from 0.15 to -none-
Component changed from None to console
Found in version changed from 0.15 to -none-
Component changed from None to console