Grey Alien #1 mousewheel for a techie editor=fine but make sure there is another way do do it with some kind of mouse button + key press combo or something.