chiark / gitweb /
Possible fix for the view rotation issue.