4 Commits

Author	SHA1	Message	Date
Chris Forbes	5ca7218eb6	integrate scrollbar and checkbox art. fixes #215.	2010-07-28 18:16:47 +12:00
Paul Chote	cfd0e045cb	Add Edge Scroll setting	2010-07-27 21:28:40 +12:00
Paul Chote	dcef8770a7	Edge scrolling	2010-07-26 20:14:36 +12:00
Paul Chote	816722256b	Split viewport scrolling into its own widget	2010-07-26 20:14:36 +12:00