ref: b7f192eea34e0bd36abcd457333ab37eb221789f
parent: 6824dcde03d894886fea4c1e16e0020a9c176225
author: Simon Tatham <anakin@pobox.com>
date: Sat Oct 22 12:35:23 EDT 2005
Cleanup: the `mouse_priorities' field in the back end has been a more general-purpose flags word for some time now. Rename it to `flags'. [originally from svn r6414]