BrOrlandi/Desktop-Scroller-GNOME-Extension — pull request #7 by thoemy (2013-06-14 17:59:05+00:00)
Title: Fix scroll actor height if screens are vertically shifted

Fixes #6