Mouse wheel is working on my Linux box. Is it not on yours? what kind of system?

I guess for now there's not much reason to prefer this terminal over any other. I guess we'd need to add something unique, though I'm not sure yet what that might be.