v73

What's Changed

• Mouse scrolling now fractionally progresses through the windows instead of jumping two or more windows at the slightest scroll. I think it behaves better; maybe need an option for how sensitive the scroll is.
• Made the mouse-over highlight color a user setting.

Full Changelog: v72...v73