9term: mousewheel over main window

[grai, 2009-08-11 10:06:34]

Without this patch, the mousewheel only works when the pointer's above the
scroll bar.  Which kind of defeats its purpose.

[russcox_gmail.com, 2009-08-11 15:12:09]

thanks.

codebot: apply

9term: allow scroll wheel in main window

[old.codebot, 2009-08-11 15:12:16]

# codebot: apply

codebot error: unknown full name for grai <t.lainson@gmail.com>

grai, please add a note to this issue with
"codebot: name Your Full Name"
on a line by itself without the quotes.

thanks.
codebot


	Return-Path:
<3SoqBSgcJB6ARUSSCOXGMAIL.COMCODEBOTRSC.SWTCH.COM@apphosting.bounces.google.com>
	Received-SPF: Pass; receiver=holo.morphisms.net; client-ip=209.85.132.190;
	Date: Tue, 11 Aug 2009 15:12:10 +0000
	Subject: Re: 9term: mousewheel over main window
	From: russcox@gmail.com
	
	thanks.
	
	codebot: apply
	
	9term: allow scroll wheel in main window
	
	
	http://codereview.appspot.com/105082

[russcox_gmail.com, 2009-08-11 15:13:36]

i took care of codebot's whining

codebot: apply

9term: allow scroll wheel in main window

[old.codebot, 2009-08-11 15:14:44]

# codebot: apply

applied.